axiom of infinity in Polish

(set theory) One of the axioms in axiomatic set theory that guarantees the existence of an infinite set.