Prinzip der Mathematischen Induktion

Ein grundlegendes Beweisprinzip, das besagt, dass eine Eigenschaft P(n) für alle n∈ℕ gilt, wenn (i) P(0) zutrifft (Basisfall) und (ii) für jedes k gilt: P(k)⇒P(k+1) (Nachfolgerabschluss). In diesem Nachschlagewerk wird es als Schema dargestellt, das lokales Nachfolger-Reasoning in eine universelle Aussage über die natürlichen Zahlen überführt.

Ein Beweisschema, das eine Eigenschaft für alle natürlichen Zahlen etabliert, indem ein Basisfall (gewöhnlich für 0 oder 1) gezeigt wird und ein Induktionsschritt, der beweist: wenn die Eigenschaft für ein beliebiges n gilt, dann gilt sie für n+1.