Combining Philosophers

All the ideas for Arend Heyting, Saunders MacLane and Oxford Univ 1350

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

---

3 ideas

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

8074	There is a five shilling fine for each point of divergence from the thinking of Aristotle [Oxford Univ 1350]

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]

6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique

8754	Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro]