axiom of infinity in Finnish

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