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