Logique intuitionniste

La logique intuitionniste est une logique qui diffère de la logique classique par le fait que toute affirmation doit être démontrable par une preuve constructive. Cette logique rejette le principe classique de tiers exclu, selon lequel « P ou non P » est toujo…