Every proof by contradiction can be seen as following the template identified in the theorem.
Namely, when we've proved a statement $S$ by contradiction, then $S$ follows from $S$ and also from $\neg S$.
Joel David Hamkins
- 236.3k
- 44
- 777
- 1.4k