Combining Texts

All the ideas for 'To Frege (12/12/04)', 'Mathematics: Form and Function' and '06: Romans'

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

---

2 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]

28. God / B. Proving God / 3. Proofs of Evidence / b. Teleological Proof

20695

God's eternal power and deity are clearly seen in what has been created [Paul]