=======================
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.