Axiom výběru: Porovnání verzí
Smazaný obsah Přidaný obsah
m →Nezávislost AC na axiomech ZF: typo |
|||
Řádek 23:
(AC) je [[bezespornost|bezesporný]] neboli [[konzistentnost|konzistentní]] s ostatními [[axiom]]y Zermelo-Fraenkelovy teorie množin (je takzvaně relativně bezesporný s ZF). Platí totiž v jednom [[model (logika)|modelu]] teorie množin, a to v univerzu [[konstruovatelná množina|konstruovatelných množin]], což dokázal v roce [[1940]] [[Kurt Gödel]]. V tomto modelu platí dokonce [[axiom silného výběru]] a dále například [[zobecněná hypotéza kontinua]].
Také negace (AC) je relativně bezesporná s ZF, a tedy (AC) je [[nezávislost (logika)|nezávislý]] na axiomech
== Související články ==
|