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

m
Podívejte se na Související články
(→‎Vztah NBG a ZFC: pouze množiny a třídy -> pouze množiny, zatímco třídy)
m (Podívejte se na Související články)
Nutno dodat, že schéma existence tříd je možné nahradit konečně mnoha jednotlivými [[axiom]]y. V důsledku toho je '''NBG''' konečně axiomatizovatelná (narozdíl od '''[[ZF]]''').
 
== PodívejteSouvisející se také načlánky ==
{{Portál matematika}}
* [[Teorie množin]]
267 399

editací