proofs

induction
- must already know formula
- doesn’t give intuition
- there are uncomputable functions e.g. Halting Problem, 3x+1 problem
non-existence proofs
- must cover all possible scenarios, harder than existence
pigeonhole principle