- #1

- 1,425

- 1

## Main Question or Discussion Point

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.