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

:'''A<small> JÓLFUNDÁLTSÁG AXIÓMÁJA</small>'''
 
== Gödel finit axiómarendszere ==
 
Az '''NBG'''-nek halmazelméleteken belüli egyfajta kitűntetett jellegére utal, az a tény, hogy végesen axiomatizálható. Ezt Gödel ismerte fel, aki a komprehenzivitási axiómát, mely valójában egy axiómaséma (azaz ahány P(x) annyi egyedi axióma, tehát rekurzívan felsorolható sok), fel tudta bontani kilenc egyedi axiómára.