Definition:Model of Class-Set Theory
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
- 2010: Raymond M. Smullyan and Melvin Fitting: Set Theory and the Continuum Problem (revised ed.) ... (previous) ... (next): Chapter $1$: General Background: $\S 10$ Sets and classes