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

Přidáno 177 bajtů ,  před 15 lety
m
vráceno podívejte se na, které tajuplně zmizelo při automergi editkonfliktu
(úvodní odstavec bez nadpisu, (de)wiki, encyklopedický styl, -ruční <br>)
m (vráceno podívejte se na, které tajuplně zmizelo při automergi editkonfliktu)
 
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ž teorii s dosti podivnými vlastnostmi (lze v ní například bezesporně předpokládat neplatnost klasické [[Heineho věta|Heineho věty]]).
 
== Podívejte se také na ==
{{Portál matematika}}
*[[Zermelo-Fraenkelova teorie množin]]
*[[Hypotéza kontinua]]
*[[Axiom silného výběru]]
*[[Konstruovatelná množina]]
 
[[Kategorie:Teorie množin]]