Dobře uspořádaná množina: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot přidal: fi:Hyvinjärjestys |
m typo |
||
Řádek 3:
[[Ernst Zermelo|E.Zermelo]] dokázal, že při přijmutí [[axiom výběru|axiomu výběru]] do [[Zermelo-Fraenkelova teorie množin|Zermelo-Fraenkelovy axiomatizace]] [[teorie množin]] je možno dokázat, že každou množinu lze dobře uspořádat. Tento princip je znám jako [[princip dobrého uspořádání]].
S '''dobrým uspořádáním''' souvisí i [[paradox|paradoxy]] typu „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…)), tyto paradoxy jsou vyřešeny ve [[Petr Vopěnka|Vopěnkově]] [[Alternativní teorie množin|alternativní teorii množin]]
== Příklady ==
| |||