Назви системи F та System T

Хтось знає, звідки беруться назви Система "F" та Система "T"? Я не запитую, хто ввів ці імена (Girard System F, і Gödel System T), але що означає "F" і "T".

Я опублікував це на TYPES, але його, ймовірно, варто скопіювати і тут:

1. У «Системі F змінних типів через п’ятнадцять років» Джирард зазначає, що конкретної причини для імені F не було:

   Однак у [3] було показано, що очевидні правила перетворення для цієї системи, що називається F випадково, збігаються.

   У його дисертації може бути ще одне пояснення, але я не читав його, оскільки, на жаль, не володію французькою мовою.

2. Однак, оскільки я є напівграмотною німецькою мовою, я подивився на статтю Геделя "Über eine noch nicht benüzte Erweiterung des finiten Standpunktes", де була введена Система T (і діалектична інтерпретація для неї). Він називає цю систему в круглих дужках:

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

   Однак попередню половину сторінки було витрачено на розмову про типову структуру системи T, тому розумно здогадатися, що T означає "типи". Але чітких причин у друку не вказано.

   [1] "Це означає, що аксіоми цієї системи (що отримали назву Т) майже такі ж, як і в теорії примітивних рекурсивних чисел [...]"