Burali-Fortiho paradox: Porovnání verzí

Přidáno 13 bajtů ,  před 16 lety
→‎Podstata paradoxu: oprava definice ordinálu
m (drobné přeformátování)
(→‎Podstata paradoxu: oprava definice ordinálu)
 
==Podstata paradoxu==
Podle definice je [[ordinální číslo]] každá [[množina]], která je ostře [[Dobře uspořádaná množina|dobře uspořádána]] [[Relace (matematika)|relací]] [[PodmnožinaPrvek množiny|"býti podmnožinouprvkem"]] a navíc každý její prvek je zároveň její podmnožinou.<br />
Uvažujme nyní na chvilku o množině '''''O''''', která obsahuje všechna ordinální čísla. Taková množina je určitě ostře dobře uspořádaná pomocírelací <math>\subseteqin</math> a navíc každý svůj prvek ([[ordinální číslo]]) obsahuje určitě i jako podmnožinu. To ovšem znamená, že '''''O''''' je sama také ordinální číslo, které je větší než všechna ordinální čísla a tedy i než ona sama. To je ale samozřejmě nesmysl.
 
==Řešení paradoxu==
3 556

editací