Diskuse:Burali-Fortiho paradox

Z Wikipedie, otevřené encyklopedie
Skočit na navigaci Skočit na vyhledávání

Ordinální číslo se obvykle definuje jako množina, která je ostře dobře uspořádaná relací "být prvkem" a jejíž každý prvek je její podmnožinou. Definice, v níž je místo "ostře dobře - být prvkem" uvedeno "dobře - být podmnožinou" je s touto obvyklou definicí ekvivalentní pouze v případě přijetí axiomu fundovanosti (regularity), který v současné době už příliš často přijímán nebývá. V nefundovaném případě by byl podle zde uvedené definice ordinálem například každý urelement (množina splňující x={x}). Článek opravím Glivi 12:04, 15. 9. 2006 (UTC).

OK, já se tomu nebráním, zachoval jsem definici, kterou použil předchozí editor v článku o ordinálních číslech.
Pokud už to budete opravovat, tak by to bylo vhodné udělat stejným způsobem i tam. Zdar a sílu. Chrupoš 12:15, 15. 9. 2006 (UTC)