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