Combining Texts

All the ideas for 'New Foundations for Mathematical Logic', 'The Foundations of Mathematics (2nd ed)' and 'Darwin's Dangerous Idea'

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

---

3 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets

9879	NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett]

8. Modes of Existence / A. Relations / 4. Formal Relations / b. Equivalence relation

18465

An 'equivalence' relation is one which is reflexive, symmetric and transitive [Kunen]

27. Natural Reality / G. Biology / 3. Evolution

3804	Darwin's idea was the best idea ever [Dennett]