Example image of eyePlorer eyePlorer map for 'Von Neumann–Bernays–Gödel set theory': Conservative extension Foundations of mathematics Set theory Zermelo–Fraenkel set theory If and only if Class (set theory) Ontology First-order logic Impredicativity Quantification Morse–Kelley set theory Finite set Set (mathematics) Atomic sentence Naive set theory Abstraction Formula Binary relation Russell's paradox Function (mathematics) John von Neumann Paul Bernays Continuum hypothesis Kurt Gödel Richard Montague Abuse of notation Axiom of extensionality Axiom of pairing Ordered pair Z Axiom of infinity Axiom of power set Axiom of union Empty set Inductive set Axiom of limitation of size Bijection Axiom of global choice Axiom schema of replacement Axiom schema of specification Ordinal number Von Neumann universe Axiom of choice Domain of a function Range (mathematics) Paradoxes of set theory Functional completeness Logical connective Complement Intersection (set theory)