Repository | Book | Chapter
(2010) Set theory, miscellanea / Mengenlehre, varia, Dordrecht, Springer.
Zermelo s1931d
pp. 500-501
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.
Publication details
DOI: 10.1007/978-3-540-79384-7_25
Full citation:
(2010). Zermelo s1931d, in Set theory, miscellanea / Mengenlehre, varia, Dordrecht, Springer, pp. 500-501.
This document is unfortunately not available for download at the moment.