---
tag: FY7Y434REH
kind: concept
name: Strong mathematical induction
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section S
    note: adopted
    mention: wikipedia://en/76765067#0OAT
    sections: [Summary]
inventory: [PSR4Y3834A]
---

## Summary

A form of mathematical induction that allows one to assume the proposition for all smaller instances simultaneously when proving it for any given instance.