Diskuse:Von Neumannova–Bernaysova–Gödelova teorie množin

Omlouvám se, ale i v tomto článku jsem našel několik (podle mého názoru) nepřesností :)

1. NGB je konzervativním rozšířením ZF nikoli ZFC
2. v klasické definici axiomů NGB se ve vymezení množin a vlastních tříd obvykle neuvádí druhá vlastnost (rovnost mohutnosti univerzální třídy) - ta je v podstatě variantou axiomu silného výběru, který se k axiomům NGB většinou nepřidává (pak by věta o konzervativnosti rozšíření ZF ani ZFC nemohla platit)

Glivi 16:37, 15. 9. 2006 (UTC)