Nach Überfliegen |k. Folgendes, mE Grundlegendes, Fehlt: Verallgemeinerung auf Aussagen über induktive Mengen. Sprachliche Genauigkeit: "Unendlich viel[e Schritte]" gibt es nicht. Das macht keinen Sinn. Gemeint ist "beliebig viel". Um das zu verdeutlichen vlt ein Beispiel bringen, wo Induktion nicht ausreicht. Etwa allgemeine Existenz von Vektorraumbasen. Formuierung von VI als Prinzip der kleinsten VerbrecherInnen (minimales Gegenbeispiel) Das "fast alle" finde ich misverständlich zu der fast überall-Formel. Einordnung in die Axiomensystem fehlt mir irgendwie. Überhaupt müsste man OMA erst mal erklären was sowas eigentlich ist, bevor man ihnen mit dem Peano-System kommt. Ebenso fehlt eine metamathematische Rechtfertigung des Axioms der VI vollständigen Induktion.-- goiken 15:42, 2. Jul. 2010 (CEST)