Example image of eyePlorer eyePlorer map for 'Finite set': Element (mathematics) Mathematics Set (mathematics) Cardinality Integer Natural number Negative and non-negative numbers Combinatorics Counting Injective function Pigeonhole principle Bijection Empty set Sequence N-set Subset Dedekind-infinite set Axiom of choice Axiom of dependent choice Set theory Zermelo–Fraenkel set theory Surjective function Union (set theory) Cartesian product Power set Countable set Free lattice Kazimierz Kuratowski Paul Stäckel Well-order Alfred Tarski Order isomorphism Order type Axiom of countable choice Richard Dedekind Maximal element Partially ordered set Georg Cantor Finitism Axiom of infinity Hereditarily finite set Gödel's incompleteness theorems Peano axioms Non-standard model Formal system Bertrand Russell Non-well-founded set theory Type theory Von Neumann–Bernays–Gödel set theory Intuitionistic logic