Axiom výběru: Porovnání verzí

Také negace (AC) je relativně bezesporná s ZF, a tedy (AC) je [[nezávislost (logika)|nezávislý]] na axiomech |ZF. Přidáním negace (AC) k ZF však vzniká již teorie s dosti podivnými vlastnostmi (lze v ní například bezesporně předpokládat neplatnost klasické [[Heineho věta|Heineho věty]]).

 

{{Portál matematika}}

*[[Zermelo-Fraenkelova teorie množin]]

*[[Axiom spočetného výběru]]

 

 

[[ca:Axioma d'elecció]]