axiom of infinity noun1 •One of the axioms in axiomatic set theory that guarantees the existence of an infinite set.