text: Интуиционизм отрицает закон исключенного третьего, впрочем, необходимо отметить, что закон исключенного третьего не нужен для вывода противоречия из антиномии Рассела или любой другой (в любой антиномии доказывается, что A {\displaystyle A} влечёт отрицание A {\displaystyle A} и отрицание A {\displaystyle A} влечёт A , {\displaystyle A,} однако из ( A ⇒ ¬ A ) & ( ¬ A ⇒ A ) {\displaystyle (A\Rightarrow \neg A)\&(\neg A\Rightarrow A)} даже в интуиционисткой логике следует противоречие).