Почему интуиционистская логика отвергает закон исключенного третьего?

Интуиционистская логика отвергает закон исключённого третьего, потому что считает его неприменимым в рассуждениях о бесконечных множествах. psyera.ru dic.academic.ru

В случае с конечными множествами можно решить, все ли входящие в них объекты обладают некоторым свойством, проверив их один за другим. psyera.ru Но для бесконечных множеств такая проверка невозможна. psyera.ru

Кроме того, интуиционисты отвергают закон исключённого третьего, поскольку для него не находится интуитивного обоснования. dic.academic.ru

Интуиционистская логика полагается на возможность проверки всякого истинного утверждения: утверждение считается истинным, только если в этом можно убедиться непосредственно, построив его доказательство. old.mccme.ru