Combining Texts

Ideas for 'works', 'An Axiomatization of Set Theory' and 'Justified Belief as Responsible Belief'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory

13672	All the axioms for mathematics presuppose set theory [Neumann]
	Full Idea: There is no axiom system for mathematics, geometry, and so forth that does not presuppose set theory.
	From: John von Neumann (An Axiomatization of Set Theory [1925]), quoted by Stewart Shapiro - Foundations without Foundationalism 8.2
	A reaction: Von Neumann was doubting whether set theory could have axioms, and hence the whole project is doomed, and we face relativism about such things. His ally was Skolem in this.