Example image of eyePlorer eyePlorer map for 'Zermelo–Fraenkel set theory': Foundations of mathematics Set theory Domain of discourse Hereditary set Individual Ontology Set (mathematics) Well-founded relation First-order logic Binary relation Signature (logic) Axiom of pairing Von Neumann universe Metamathematics Axiom of choice Continuum hypothesis Ernst Zermelo Zermelo set theory Ordinal number Abraham Fraenkel Atomic formula Thoralf Skolem Axiom schema of replacement Axiom schema of specification Axiom of regularity Axiom of extensionality Equality (mathematics) Disjoint sets Property (philosophy) Russell's paradox Axiom of empty set Empty set Extension by definitions Axiom of infinity Axiom of power set Axiom of union Free variables and bound variables Quantification Domain of a function Range (mathematics) Power set Subset Total order Well-order Well-ordering theorem Finite set Infinite set Constructivism (mathematics) John von Neumann Morse–Kelley set theory