Russellův paradox: Porovnání verzí

Smazaný obsah Přidaný obsah
→‎Varianty: jazykové úpravy, typos
m typo, napřímení odkazu
Řádek 23:
Dnes nejčastěji používaná [[Zermelova-Fraenkelova teorie množin]] se Russellovu paradoxu vyhýbá pomocí axiomu regularity, který mimo jiné přímo zakazuje množiny, které obsahují samy sebe. Axiom regularity zakazuje také například konečný kruh množin <math>A_1 \isin A_2 \isin \dots \isin A_n \isin A_1</math>. V této teorii množin pak tedy neexistují množiny jako množina všech množin či množina všech [[ordinální číslo|ordinálů]], neboť by tyto množiny obsahovaly samy sebe. Místo toho tyto objekty tvoří takzvané [[Třída (matematika)|vlastní třídy]].
 
Existují i další teorie, které poskytují řešení RusselovaRussellova paradoxu, např. tzv. ''[[New Foundations]]'' amerického matematika [[Willard Van Orman Quine|Quina]].
 
== Související články ==
Řádek 31:
* [[Gödelovy věty o neúplnosti]]
* [[Problém zastavení]]
* [[ZermeloZermelova-Fraenkelova teorie množin]]
* [[Burali-Fortiho paradox]]
* [[Cantorův paradox]]