References
Gödel, Kurt: Die Vollständigkeit der Axiome des logischen Funktionenkalküls. Mh. Math. Phys.37, 349–360 (1930).
Henkin, Leon: The completeness of the first order functional calculus. J. Symb. Log.14, 159–166 (1949).
Henkin, Leon: Completeness in the theory of types. J. Symb. Log.15, 81–91 (1950).
For a discussion of this result and its history seeAlonzo Church, Introduction to Mathematical Logic, Volume I, Princeton University Press (1956), § 45. In this book we also find simple discussions ofGödel's (§ 44) andHenkin's (§ 54) completeness theorems.
Thoralf Skolem: Über die Nicht-Charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschließlich Zahlenvariablen. Fund. Math.23, 150–161 (1934).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Kemeny, J.G. Undecidable problems of elementary number theory. Math. Ann. 135, 160–169 (1958). https://doi.org/10.1007/BF01343100
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01343100