Burali-Fortiho paradox: Porovnání verzí

Přidány 2 bajty ,  před 1 rokem
m
typografie
m (Typografie)
m (typografie)
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 [[Russellův paradox]], vedl tento výsledek ke kompletnímu přepracování základů teorie množin na axiomatickém základě – viz [[Zermelova-FraenkelovaZermelova–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]].