Вопросы к Поиску с Алисой
Закон исключённого третьего не применяется в рамках интуиционистского направления в математике. ru.wikipedia.org
С интуиционистской точки зрения не существует общего метода, позволяющего для любого высказывания за конечное число шагов установить его истинность или истинность его отрицания. ru.wikipedia.org Поэтому закон исключённого третьего не должен использоваться в интуиционистской логике как аксиома. ru.wikipedia.org gtmarket.ru