Material set theory

Axiom of Infinity

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

(∃𝔐⁡𝜔)[∅∈𝜔∧(∀𝑥∈𝜔)[{𝑥}∈𝜔]]

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

---

tidy | en | SemBr