Example image of eyePlorer eyePlorer map for 'Proof by contradiction': Contradiction Logic Mathematical proof Proposition Validity Principle of bivalence Reductio ad absurdum Infinite regress Proof by induction Law of excluded middle Tautology (logic) Cantor's diagonal argument Philosophy of mathematics Constructive proof Mathematical logic Logical conjunction Logical disjunction Union (set theory) Isaac Barrow Q.E.D. Hand of Eris Orthogonality A Mathematician's Apology G. H. Hardy Chess Gambit Infinite descent Minimal counterexample Modus tollens Furstenberg's proof of the infinitude of primes Proof of Bertrand's postulate Vieta jumping Direct proof Proof that e is irrational Method of exhaustion Ore's theorem Pseudorandom generator theorem Semi-differentiability Cantor's first uncountability proof Pumping lemma for regular languages Pumping lemma for context-free languages Resolution (logic) Sidon sequence Hales–Jewett theorem Proof that the sum of the reciprocals of the primes diverges Archimedean property PBC Cantor's theorem Non-Euclidean geometry Thought experiment