Combining Texts

All the ideas for 'fragments/reports', 'Mathematics: Form and Function' and 'Truth-maker Realism: response to Gregory'

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

---

4 ideas

3. Truth / B. Truthmakers / 2. Truthmaker Relation

18470

Maybe truth-making is an unanalysable primitive, but we can specify principles for it [Smith,B]

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]

26. Natural Theory / A. Speculations on Nature / 5. Infinite in Nature

1748	Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius]

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

5989	Archelaus said life began in a primeval slime [Archelaus, by Schofield]