Example image of eyePlorer eyePlorer map for 'Axiom of choice': Axiom Mathematics Set theory Infinite set Ernst Zermelo Tychonoff's theorem Axiom of determinacy Choice function Cartesian product Disjoint sets Power set Finite set Mathematical induction Real number Well-order Constructive proof Definable set Consistency Lebesgue measure Canonical Category theory Constructivism (mathematics) Constructive set theory Diaconescu's theorem Law of excluded middle Banach–Tarski paradox Model theory Zermelo–Fraenkel set theory Independence (mathematical logic) Kurt Gödel Paul Cohen (mathematician) Peano axioms P versus NP problem Axiom of constructibility Axiom of global choice Morse–Kelley set theory Von Neumann–Bernays–Gödel set theory Axiom of limitation of size Well-ordering theorem Zorn's lemma Von Neumann cardinal assignment Alfred Tarski Bijection Trichotomy (mathematics) König's theorem (set theory) Right inverse Surjective function Hausdorff maximal principle Finite character Tukey's lemma