Mathematical induction

This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.

A method proving a natural-number-indexed family of propositions by a base case and an inductive step.

atlas-mathematical-induction · canonical_mko

Prerequisite nodes