axiom of infinity in German

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