Combining Texts

All the ideas for 'works', 'Proof that every set can be well-ordered' and 'What is so bad about Contradictions?'

expand these ideas     |    start again     |     specify just one area for these texts


4 ideas

2. Reason / B. Laws of Thought / 3. Non-Contradiction
Someone standing in a doorway seems to be both in and not-in the room [Priest,G, by Sorensen]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Zermelo made 'set' and 'member' undefined axioms [Zermelo, by Chihara]
For Zermelo's set theory the empty set is zero and the successor of each number is its unit set [Zermelo, by Blackburn]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / e. Countable infinity
Zermelo realised that Choice would facilitate the sort of 'counting' Cantor needed [Zermelo, by Lavine]