Имена System F и System T

Кто-нибудь знает откуда взялись названия System "F" и System "T"? Я не спрашиваю, кто ввел эти имена (Girard System F и Gödel System T), но что означают «F» и «T».

Я опубликовал это в TYPES, но, вероятно, стоит скопировать и здесь:

1. В «Системе F переменных типов, пятнадцать лет спустя» Жирар отмечает, что для имени F не было особой причины:

   Однако в [3] было показано, что очевидные правила преобразования для этой системы, случайно названные F, сходятся.

   Может быть другое объяснение в его диссертации, но я не читал его, потому что, к сожалению, я не владею французским языком.

2. Однако, поскольку я полуграмотен на немецком языке, я взглянул на статью Гёделя «Uber eine noch nicht benüzte Erweiterung des finiten Standpunktes», где была представлена ​​Система T (и интерпретация Dialectia для нее). Он называет эту систему в скобках в сторону:

   Das heisst die Axiome dieses Systems (es werde T genannt) формально быстрое дизельное топливо с примитивным рекурсивным Zahlentheorie [...] [1]

   Однако предыдущие полторы страницы были посвящены обсуждению структуры типов системы T, поэтому разумно предположить, что T обозначает «типы». Но в печати нет явной причины.

   [1] «Это означает, что аксиомы этой системы (дублированные T) почти совпадают с аксиомами примитивно-рекурсивной теории чисел [...]»