Proof by contradiction in intuitionist logic: ¬P implies only that there is no proof that proofs of P are impossible.
Proof by contradiction in intuitionist logic: ¬P implies only that there is no proof that proofs of P are impossible.