Аксиома бесконечности

Аксиома бесконечности (англ. axiom of infinity, нем. Axiom der Unendlichkeit) — следующее высказывание теории множеств:

существует непустая совокупность индуктивных множеств: $$ \Upsilon \ \stackrel{\mathrm{def}}{=} \ \exists a \quad a = \mathrm{InductiveSet} \ \land \ {}^\neg (a = \varnothing) $$