Combining Texts

Ideas for 'Function and Concept', 'Completeness of Axioms of Logic' and 'Investigations in the Foundations of Set Theory I'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


5 ideas

6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
In ZF, the Burali-Forti Paradox proves that there is no set of all ordinals [Zermelo, by Hart,WD]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / f. Zermelo numbers
For Zermelo the successor of n is {n} (rather than n U {n}) [Zermelo, by Maddy]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
Zermelo believed, and Von Neumann seemed to confirm, that numbers are sets [Zermelo, by Maddy]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
Different versions of set theory result in different underlying structures for numbers [Zermelo, by Brown,JR]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
Arithmetic is a development of logic, so arithmetical symbolism must expand into logical symbolism [Frege]