# von Neumann-Bernays-G\"odel set theory

## Primary tabs

Defines:
NBG, von Neumann-Bernays-G\"odel set theory
Keywords:
NBG, VNBG, vNBG
Synonym:
NBG, vNBG, vNBG, VNB
Type of Math Object:
Definition
Major Section:
Reference

## Mathematics Subject Classification

### Related topics

Igor mentions in his notational corrections suggestion that there are a number of things mentioned in this entry that merit entries of their own. I'd like to hear suggestions as to what these should be.

The following mentioned I think should have entries of their own

- conservative extension
- principle of limitation of size
- GÃ¶del (or, actually, von Neumann) class construction functions
- the theorem that these are equivalent to the predicative
comprehension scheme
- predicative vs. impredicative
- Morse-Kelley set theory
- class forcing

I'll see if these are not covered elsewhere in the encyclopaedia, and if not start writing them.