Noun
axiom of infinity
(set theory) One of the axioms in axiomatic set theory that guarantees the existence of an infinite set.
Axiom of infinity Ramified types and the axiom of reducibility In simple type theory objects are elements of various disjoint "types". Source: Internet