Парадокс Рассела

Можно предположить существование множеств, которые принадлежат сами себе в качестве элемента, и множеств, которые собственными элементами не являются.

Рассмотрим множество $A$ всех таких множеств $X$, которые не являются элементами $X$ (самих себя): [math]\displaystyle{ A= \{X | X\notin X\} }[/math].

Принадлежит ли $A$ само себе как элемент?

Если $A\in A$, то по определению этого множества получим $A\notin A$.

Если предположить, что $A\notin A$, то оказывается $A\in A$.

В любом случае получается, что $A\in A$ и $A\not\in A$ — противоречие.

Конспект: Дискретная математика