- #1
Werg22
- 1,427
- 1
Since it's impossible to know whether or not a consistent theory is indeed consistent, how is a proof by contradiction a valid proof method? I would think a proof by contradiction is only valid if we are certain a theory is consistent, else a contradiction could mean that the theory is inconsistent.