Täielik järjestus: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu
Hardi27 (arutelu | kaastöö)
PResümee puudub
Hardi27 (arutelu | kaastöö)
35. rida:
[[Valikuaksioom]]ist järelduv [[Zermelo teoreem]] väidab, et mistahes mittetühja hulka on võimalik täielikult järjestada.
 
Kui eeldataeeldada ülejäänud aksioome [[Zermelo-Fraenkeli aksiomaatika]]s, siis see väide on valikuaksioomiga samaväärne.
 
Selle teoreemi järgi saab [[reaalarvude hulk]]a täielikult järjestada, kuid pole teada, kuidas seda teha.