Axiomatic set theory

Von Neumann-Bernays-Gödel set theory

Von Neumann-Bernays-Gödel set theory or ¹ is a Material set theory and conservative extension of , in which the notion of a Class is treated directly. Notably, there exists a universal class of all elements.

Setup

We consider a universe of objects. We modify the setup of material set theory so that sethood is replaced with classhood, namely we have the primitive notions

• iff is the same object as
• iff is a Class;
• iff and is a member of

We also have a sethood predicate , however it is no longer primitive, since one can define

and any class which is not a set is a proper class, denoted . As with my treatment of other material set theories, we will allow for the existence of an Urelement.

Axioms

We take the following axioms²: #m/def/set/nbg

Fundamentals

1. Axiom of Extensionality for Classes
2. Emptyset Axiom
3. Axiom of Pairing for Classes

Axioms of Class Existence

1. Elementhood Relation Class Axiom
2. Axiom of Intersection for Classes
3. Complement Axiom for classes
4. Domain Axiom for classes
5. Universal Relation Axiom
6. Axioms of Permutation for classes

whence follows the important Class existence theorem schema, which generalizes these axioms into instances of a single schema.

Set axioms

7. Axiom of Union
8. Powerset Axiom
9. Axiom of Subsets
10. Axiom of Replacement for classes
11. Axiom of Infinity

Lemmata

• Class existence theorem schema

#state/develop | #lang/en | #SemBr