Zdroj TeX:

(∃A)[∅ ∈ A ∧ (∀x)(x ∈ A ⇒ x ∪ {x} ∈ A)]