\chapter{Deduction and Induction}
Accounts of math
often focus on deduction
(shuffling symbols on paper)
deduction and induction:
deduction (homework) = working from axioms
neglect intuition
(induction: how did you come up with this?)
Axioms vs. subject
Given axioms,
prove theorems.
aka, shuffle symbols: pure syntax