Tag: intuitionism

Assume you want to prove a Theorem X. If you’re a fan of reductio ad absurdum (RAA), you start by saying “Assume that Theorem X is false. Hence…” and after some reasoning, you reach a contradiction.  You write as a closing sentence, “This contradiction shows that Theorem X must be true.” I want to argue about…