Definition:Model of Class-Set Theory

From ProofWiki
Jump to navigation Jump to search

Definition

Let $V$ be a collection of objects.

Then $V$ is a model of class-set theory if and only if it satisfies the axioms of Von Neumann-Bernays-Gödel set theory.

Thus:

The elements of $V$ are then known as sets
The subcollections of $V$ are known as classes.


Sources