Tartalomjegyzék
1 kapcsolat: Neumann–Bernays–Gödel-halmazelmélet.
Neumann–Bernays–Gödel-halmazelmélet
A Neumann–Bernays–Gödel-halmazelmélet (rövidítve: NBG) a matematika egy nagy jelentőségű formális-axiomatikus rendszere, mely a halmazelméletet kívánja egy, a Zermelo–Fraenkel-halmazelmélethez hasonló módon formalizálni.