NBG

Class existence theorem schema

Let be a predicative formula. Then nbg

for any classes .

Proof

proof

All of the Axioms of Class Existence are deductible from this theorem.

---

develop | en | sembr