摘要:
sci-hub.se 参考文章(7)
H. Rasiowa, Introduction to Metamathematics ,(1952)
Andrzej Mostowski, A generalization of the incompleteness theorem Fundamenta Mathematicae. ,vol. 49, pp. 205- 232 ,(1961) , 10.4064/FM-49-2-205-232
Shoji MAEHARA, Gaisi TAKEUTI, A formal system of first-order predicate calculus with infinitely long expressions Journal of The Mathematical Society of Japan. ,vol. 13, pp. 357- 370 ,(1961) , 10.2969/JMSJ/01340357
A. Grzegorczyk, A. Mostowski, C. Ryll-Nardzewski, The Classical and The ω-Complete Arithmetic Foundational Studies Selected Works. ,vol. 93, pp. 371- 389 ,(1979) , 10.1016/S0049-237X(09)70462-8
Gaisi TAKEUTI, Akiko KINO, On predicates with constructive infinitely long expressions Journal of The Mathematical Society of Japan. ,vol. 15, pp. 176- 190 ,(1963) , 10.2969/JMSJ/01520176
S. C. Kleene, Arithmetical predicates and function quantifiers Transactions of the American Mathematical Society. ,vol. 79, pp. 312- 340 ,(1955) , 10.1090/S0002-9947-1955-0070594-4
S. C. Kleene, On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper) American Journal of Mathematics. ,vol. 77, pp. 405- ,(1955) , 10.2307/2372632