Diskuse:Von Neumannova–Bernaysova–Gödelova teorie množin
Přidat témaAppearance
Omlouvám se, ale i v tomto článku jsem našel několik (podle mého názoru) nepřesností :)
- NGB je konzervativním rozšířením ZF nikoli ZFC
- 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)