green numbers give full details | back to texts | unexpand these ideas
15943 | Limitation of Size is not self-evident, and seems too strong |
Full Idea: Von Neumann's Limitation of Size axiom is not self-evident, and he himself admitted that it seemed too strong. | |||
From: comment on John von Neumann (An Axiomatization of Set Theory [1925]) by Shaughan Lavine - Understanding the Infinite VII.1 |
13672 | All the axioms for mathematics presuppose set theory |
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. |