Example image of eyePlorer eyePlorer map for 'Von Neumann universe': Class (set theory) Mathematics Set theory Well-founded relation Zermelo–Fraenkel set theory Ordinal number Empty set Transfinite number Transfinite induction Power set Limit ordinal Union (set theory) Axiom of infinity Hereditarily finite set Model theory Natural number Ordinary mathematics Universe (mathematics) Zermelo set theory Inaccessible cardinal Morse–Kelley set theory Universal set Aczel's anti-foundation axiom Axiom of regularity Axiom of limitation of size Core model Definable real number Axiom of constructibility Axiom schema of predicative separation Inner model theory Ordinal definable set Statements true in L V (disambiguation) Axiom schema of replacement Dimitry Mirimanoff Critical point (set theory) Hereditary set L(R) Ramsey cardinal Constructible universe Axiom of global choice Beth number Transitive set Scott's trick Cardinal assignment Boolean-valued model Richard Laver Absolute Infinite Mann–Whitney U Large cardinal property