„Neumann–Bernays–Gödel-halmazelmélet” változatai közötti eltérés

Neumann alkotta meg az osztályokkal megfogalmazott halmazelmélet egy tömörebb változatát oly módon, hogy feltette, minden valódi osztály kölcsönösen egyértelmű módon megfeleltetésbe hozható az összes halmazok osztályával '''V''' := { x | x=x } = { x | Set(x) } -vel (a Neumann-féle univerzummal), azaz lényegében csak egyféle méretű valódi osztályok vannak. (Ez a megállapítás '''ZFC'''-s pszeudo-osztályelméletet szemelőtt tartva is összhangban van az intuícióval {{hivatkozás szükséges}}, mindazonáltal fontos körülményre mutat rá). A méretkorlátozás ezen axiómája kiváltja a részhalmaz, az extenzionalitás, a kiválasztás és a pótlás axiómáját, de egyébként ugyanaz mint '''NBG'''. Nézzük ezt az axiómarendszert.

:'''A<small> JÓLFUNDÁLTSÁG AXIÓMÁJA</small>'''