Burali-Fortiho paradox: Porovnání verzí

Odebráno 19 bajtů ,  před 12 lety
m
napřímení odkazů
m (napřímení odkazů)
V době publikování byl Burali-Fortiho výsledek často zlehčován s tím, že se jedná o „příliš velkou“ množinu - na „rozumných“ množinách k něčemu podobnému docházet nemůže. Proto se také vžilo označení paradox, ačkoliv ve skutečnosti se jednalo o spor v klasické definici množiny jako „souboru objektů (prvků) vymezených pomocí operace náležení“.
 
Teprve později, společně s dalšími „paradoxy“, z nichž jako nejdůležitější se ukázal [[Russellova antinomie|Russellův paradox]], vedl tento výsledek ke kompletnímu přepracování základů teorie množin na axiomatickém základě - viz [[ZermeloZermelova-Fraenkelova teorie množin]].
 
V axiomatické teorii množin se mi již žádným způsobem nepodaří zkonstruovat výše uvedenou množinu <math> \mathbb{O}n \,\! </math> - Burali-Fortiho výsledek je vlastně důkazem toho, že <math> \mathbb{O}n \,\! </math> není množina, ale [[vlastní třída]].