Axiom of Infinity

The Axiom of Infinity is a possible axiom of Material set theory asserting the existence of an infinite set: #m/def/set/zf

(\exists 𝔐 𝜔) [\emptyset \in 𝜔 \land (\forall 𝑥 \in 𝜔) [{𝑥} \in 𝜔]]

which is to say, there exists a set $𝜔$ containing the empty set and the singleton of each of its elements.

#state/tidy | #lang/en | #SemBr