Repository | Book | Chapter
(2010) Set theory, miscellanea / Mengenlehre, varia, Dordrecht, Springer.
Zermelo 1932b
pp. 550-555
What is a "mathematical proposition", a "mathematical proof", a "mathematical theory", a "mathematical discipline"? A general theory of propositional systems as it underlies all mathematical disciplines is the subject of the following considerations outlined briefly here. A mathematical "proposition" makes sense and has a meaning only within a mathematical system, a theory or a (comprehensive) discipline as, e.g., "Euclidean geometry" or the "arithmetic of real numbers". But what are the characteristic features, what are the general basic laws of logic common to all "mathematical systems"?
Publication details
DOI: 10.1007/978-3-540-79384-7_30
Full citation:
(2010). Zermelo 1932b, in Set theory, miscellanea / Mengenlehre, varia, Dordrecht, Springer, pp. 550-555.
This document is unfortunately not available for download at the moment.