Парадокс на Ръсел: Разлика между версии

Изтрито е съдържание Добавено е съдържание
Редакция без резюме
Редакция без резюме
Ред 2:
 
== Постановка на парадокса ==
Парадоксът на Ръсел може да бъде изразен така „''Нека вземем множеството от множествата, които не принадлежат на себе си. Принадлежи ли то на себе си?''“. Или нека имаме <math>A = \{B | B \notin B\}</math>, то тогава <math>A \in A \Leftrightarrow A \notin A</math>. Ако отговорим с „да“ на горния въпрос, ще получим, че тъй като по дефиниция елементите на това [[множество]] не принадлежат на себе си, те не принадлежат и на множеството, в което са, т. е. имаме [[противоречие]]. Сега,А ако отговорим с „не“ на същия въпрос, имаме свойството A да принадлежи на себе си и отново изпадаме в противоречие.
 
Парадоксът показва, че [[наивна теория на множествата|наивната теория на множествата]] в смисъла на [[Георг Кантор|Кантор]] е [[противоречива теория]]. Проблемът идва от там, че считаме, че можем да построим множество въз основата на всяко свойство. Така някои от тези свойства (и това именно е случаят в парадокса на Ръсел) генерират нестабилни самопрепращащи се цикли и съответно би трябвало те да бъдат изключени.