Principe de L'Induction Mathématique

Principe de preuve fondamental affirmant qu'une propriété P(n) des entiers naturels vaut pour tout n∈ℕ si (i) P(0) est vraie (cas de base) et (ii) pour tout k, P(k)⇒P(k+1) est vraie (fermeture par successeur). Ici il est présenté comme le schéma qui transforme un raisonnement local en une affirmation universelle sur la suite des naturels.

Un schéma de preuve qui établit une propriété pour tous les entiers naturels en prouvant un cas de base (généralement pour 0 ou 1) et une étape inductive montrant : si la propriété vaut pour un n arbitraire alors elle vaut pour n+1.