系统F和系统T名称

有谁知道系统“ F”和“ T”的名称来自何处？我不是在问谁引入了这些名称（吉拉德系统F和戈德尔系统T），而是“ F”和“ T”的含义。

我将其发布到TYPES，但也可能值得在这里复制：

1. 吉拉德在“十五年后的变量类型的系统F”中指出，名称F没有特别的原因：

   但是，在[3]中表明，该系统的明显转换规则（偶然称为F）正在收敛。

   他的论文中可能还有另一种解释，但是由于我不会流利的法语，所以我没有读过它。

2. 但是，由于我是半文盲，所以我确实看了Gödel的论文“有限的标准立场”，其中引入了System T（以及方言的解释）。他用括号将这个系统命名为：

   公理化系统（es werde T genannt）和正式的快速柴油机最初的复兴[...] [1]

   但是，前一页花了一半时间讨论系统T的类型结构，因此可以合理地猜测T代表“类型”。但是，没有给出明确的理由。

   [1]“这意味着该系统的公理（称为T）与原始递归数论的公理几乎相同。