Burali-Fortiho paradox: Porovnání verzí

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.