Mathematical Logic ------------------ *Note: Incomplete; in progress* definition of induction: meserev 1-4 ## Proofs Indirect Proof: "reductio ad absurdum" : Show a paradox or impossibility in all cases by assuming the proposition is false; then the proposition is true. Proof by elimination : Propose a complete set of propositions and remove all but one.