math/logic

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.