Der Beginn heißt normalerweise Induktionsverankerung, weil am ersten Schritt die ganze Sache wie an einem Anker hängt. Den Begriff der Induktionsvoraussetzung kenne ich nicht, wundert mich auch, da es keine Voraussetzung sondern eine Annahme ist. Wenn ich annehme, dass die Sache für n gilt, gilt sie dann auch für n+1? Voraussetzungen können wahr oder falsch sein, Annahmen werden als wahr unterstellt, mit dem Ziel den Wahrheitsgehalt später im Beweisverfahren zu verifizieren oder zu falsifizieren. -- Dompfaf 22:14, 6. Jun. 2006 (CEST)