Lecture 2

• an axiom is a proposition that's assumed to be true
• Proof by Induction:

  • write 'proof by induction' at top
  • identify the predicate
  • base case (typically n =0)
  • inductive step