Combining Texts

All the ideas for 'True Method in Philosophy and Theology', 'Mathematics: Form and Function' and 'Kant's Analytic'

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

18189

ZFC could contain a contradiction, and it can never prove its own consistency [MacLane]

7. Existence / A. Nature of Existence / 6. Criterion for Existence

19393

What is not active is nothing [Leibniz]

27. Natural Reality / C. Space / 4. Substantival Space

8592	Empty space is measurable in ways in which empty time necessarily is not [Bennett, by Shoemaker]