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ídoladění axiomatizace '''NBG'''.