---
format: markdown
categories: math
toc: no
...

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