28 304
editací
(ú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]]
|