Von Neumannova–Bernaysova–Gödelova teorie množin: Porovnání verzí

První axiomatiku [[teorie množin]] s [[třída (matematika)|třídami]] předvedl ve své práci ''Eine axiomatisierung der Mengenlehre'' z roku [[1925]] [[John von Neumann]]. Tato axiomatizace se však podstatně liší od dnes obecně uznávané (jazyk této axiomatizace dokonce neobsahuje predikát náležení). První axiomatizaci dnešního typu předvedl [[Paul Bernays]] ve své prácí ''A system of axiomatic set theory'' ([[1937]]). Jeho myšlenky dokončil roku [[1940]] [[Kurt Gödel]] v článku ''The consistency of the axiom of choice and of the general continuum hypothesis''. Význam tohoto článku však dalekosáhle přesahuje pouhé dolaďení axiomatizeceaxiomatizace '''NGBNBG'''.

Nutno dodat, že schéma existence tříd je možné nahradit konečně mnoha jednotlivými [[axiom]]y. V důsledku toho je '''NGBNBG''' konečně axiomatizovatelná (narozdíl od '''[[ZF]]''').