Die Induktion ist kein Beweis sondern die Konstruktion einer Reihe von Beweisen. Daher wenn diese Konstruktion nicht vorhanden ist ist keiner der Sätze negiert deren Beweise die Induktion zusammengehalten hätte.