Ideas from 'An Axiomatization of Set Theory' by John von Neumann [1925], by Theme Structure
[found in 'From Frege to Gödel 1879-1931' (ed/tr Heijenoort,Jean van) [Harvard 1967,0-674-32449-8]].
green numbers give full details |
back to texts
|
expand these ideas
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
15943
|
Limitation of Size is not self-evident, and seems too strong [Lavine]
|
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
|