クルト・ゲーデル
Kurt Gödel in his 1944 "Russell's mathematical logic" gave the following definition of the "theory of simple types" in a footnote: