LEM and Proof by contradiction
1.
Thesis
2.
See
constructive proof by contradiction
classical proof by contradiction
Date: nil
Author: Anton Zakrewski
Created: 2024-10-13 So 18:34