The Paradox of Kleene and Rosser
Haskell Brooks Curry · Transactions of the American Mathematical Society · 1941
Part I, Formulation and preliminary discussion'Theorem' is used here and elsewhere as synonymous with 'true proposition.'04) The discussion here has primary reference to the symbols which are nouns.The modifications necessary for the other kinds of symbols are left to the reader.