ZFC: Porovnání verzí
Smazaný obsah Přidaný obsah
→Související články: oprava odkazu |
Plná názvy + zkratky do části "Související články" |
||
Řádek 11:
Axiom výběru je [[Nezávislost (matematika)|nezávislý]] na axiomech ZF – to znamená, že z axiomů ZF nelze dokázat ani axiom výběru, ani jeho [[Negace|negaci]].
== Odkazy ==
=== Související články === * [[Teorie množin]]
* [[Zermelova–Fraenkelova teorie množin]] (ZF)
* [[Von Neumannova–Bernaysova–Gödelova teorie množin]] (NBG)
* [[Axiom výběru]] (AC)
{{Portály|Matematika}}
|