zbiór taki że
Aksjomat regularności: w każdej niepustej klasie C można znaleźć element rozłączny z tą klasą.
Teoria NBG jest konserwatywnym rozszerzeniem ZFC (tzn. zdania w języku ZFC są dowodliwe w ZFC wtedy i tylko wtedy, gdy są one dowodliwe w NBG).
Przypisy
Linki zewnętrzne
[dostęp 2024-03-07]. Class , Encyclopedia of Mathematics, encyclopediaofmath.org [dostęp 2024-10-05].
Kategoria:Teoria mnogości