Logic and proof
Strong induction
Discrete math · Standard syllabus
Topic
Strong induction
Undergraduate Discrete Math — scope drawn from LibreTexts Discrete Mathematics and typical US discrete mathematics syllabi (logic, sets, proofs, combinatorics, graphs).