Dobře uspořádaná množina: Porovnání verzí

Smazaný obsah Přidaný obsah
m kojukce -> Konjunkce (matematika)
Dinybot (diskuse | příspěvky)
m typobot: typografické korekce podle specifikace
Řádek 3:
[[Zorn]] dokázal, že při přijmutí [[axiom výběru|axiomu výběru]] do Zermelo-Fraenkelovy axiomatizace [[teorie]] [[množina|množin]] je možno dokázat, že každou množinu lze dobře uspořádat.
 
S '''dobrým uspořádáním''' souvisí i [[paradox|paradoxy]] typu "Sorités"„Sorités“ (některé objekty nelze v rámci klasických teorií [[množina|množin]] modelovat, např. hromada písku, ze které je-li odebráno 1 zrno zbyde opět hromada písku (může taková hromada obsahovat 1 zrno, 2 zrna, 3 zrna...zrna…)), tyto paradoxy jsou vyřešeny ve [[Petr Vopěnka|Vopěnkově]] [[Alternativní teorie množin|alternativní teorii množin]] zavedení tzv. [[polomnožina|polomnožin]].
 
== Příklady ==