Der Induktionsschluss ist der letzte Schritt eines Induktionsbeweises, bei dem aus der Gültigkeit von $A(n + 1)$ unter der Voraussetzung $A(n)$ (Induktionsschritt) geschlossen wird, dass die Aussage $A(n)$ für alle $n \\in \\mathbb{N}$ gilt.