Example image of eyePlorer eyePlorer map for 'Axiom of infinity': Axiom Computer science Logic Mathematics Set theory Zermelo–Fraenkel set theory Infinite set Natural number Axiom of union Empty set Existential quantification Formal language Inductive set (axiom of infinity) Set (mathematics) Singleton (mathematics) Closure (mathematics) Von Neumann–Bernays–Gödel set theory Axiom schema of specification Axiom of extensionality Epsilon-induction Logical constant Mathematical induction Axiom of power set Power set Second-order arithmetic Second-order logic Equality (mathematics) Identity function Isomorphism Von Neumann universe Hereditarily finite set Aleph number Large cardinal property Paul Halmos Thomas Jech Kenneth Kunen Bachmann–Howard ordinal Inductive set Paradoxical set Paradoxes of set theory Set-theoretic definition of natural numbers Constructive set theory Hereditarily countable set Axiom of empty set Axiom of pairing Principia Mathematica Positive set theory Axiom of regularity Quasi-set theory Tarski–Grothendieck set theory
Disclaimer