Abstract
Dear Mr. Gödel!
I’d like to thank you for your friendly letter. I am able to gain a better understanding from it about what you really want to say than before from your paper and your lecture. Your “finitistic restriction” (as I call it) on the formation of types is thus only meant to apply to the provable propositions of your “PM-system”, and not to its propositions in general. At the same time, you allow for new propositions of the system to be freely formed in accordance with Cantor’s diagonal procedure. Of course, you then obtain an uncountable system of possible propositions only a countable partial set of which would be “provable”, and there would certainly have to exist “undecidable” propositions. That these “undecidable” propositions still become “decidable” in a “higher system” you freely admit.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2010). Zermelo s1931d. In: Ebbinghaus, HD., Fraser, C., Kanamori, A. (eds) Ernst Zermelo - Collected Works/Gesammelte Werke. Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften, vol 21. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79384-7_25
Download citation
DOI: https://doi.org/10.1007/978-3-540-79384-7_25
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79383-0
Online ISBN: 978-3-540-79384-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)