Axiomatická teorie množin: Porovnání verzí
Smazaný obsah Přidaný obsah
typo (preklep) |
|||
Řádek 124:
Na přelomu 19. a 20. století se v naivní teorii množin byly objeveny antinomie (takzvané [[paradoxy naivní teorie množin]]). První se týkaly pouze velmi velkých souborů; jako je množina všech [[ordinální číslo|ordinálních čísel]] ([[Burali-Fortiho paradox]]) anebo množina všech množin ([[Cantorův paradox]]). Těmto antinomiím se nepřikládal velký význam, neboť se předpokládalo, že zpřesněním práce s tak velkými soubory se odstraní.
Opravdovým problémem se ukázal [[Russellův paradox]], týkající se množiny, která je definována jednoduchou formulí. Russellův paradox se dá popsat takto: ''„Mějme množinu <math>\left \{ x|x \
V následujících letech se objevilo ještě několik obdobných problémů; například [[Richardův paradox]] týkající se diagonální metody a [[sémantika|sémantiky]] obecného jazyka.
|