Combining Texts

All the ideas for 'Set Theory and related topics (2nd ed)', 'Anselm's Argument' and 'Types and Ontology'

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

---

3 ideas

4. Formal Logic / F. Set Theory ST / 3. Types of Set / e. Equivalence classes

8920	Equivalence relations are reflexive, symmetric and transitive, and classify similar objects [Lipschutz]

7. Existence / E. Categories / 1. Categories

13127

Categories can't overlap; they are either disjoint, or inclusive [Sommers, by Westerhoff]

28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof

1422	God's existence is either necessary or impossible, and no one has shown that the concept of God is contradictory [Malcolm]