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