Combining Texts

All the ideas for 'talk', 'On boundary numbers and domains of sets' and 'Notice of Fine's 'Limits of Abstraction''

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

---

6 ideas

1. Philosophy / B. History of Ideas / 4. Early European Thought

8011	Aristotle is a buffoon who has misled the Church [Luther, by MacIntyre]

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

17832

Zermelo showed that the ZF axioms in 1930 were non-categorical [Zermelo, by Hallett,M]

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / h. Axiom of Replacement VII

13028

Replacement was added when some advanced theorems seemed to need it [Zermelo, by Maddy]

5. Theory of Logic / L. Paradox / 3. Antinomies

17626

The antinomy of endless advance and of completion is resolved in well-ordered transfinite numbers [Zermelo]

18. Thought / E. Abstraction / 7. Abstracta by Equivalence

9141	Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert]

29. Religion / D. Religious Issues / 1. Religious Commitment / e. Fideism

6609	With respect to religion, reason is a blind whore [Luther]