Deine Wünsche habe ich weitgehend erfüllt. Der Abschnitt "Ableitung der Induktion" enthielt schon die Einordnung in Axiomensysteme, unter anderem in System der Peano-Axiome und auch schon die induktiven Mengen, aber ohne Fachbegriff, der jetzt verlinkt ist. Statt "fast alle", jetzt der Untertitel "Induktion mit beliebigen Anfang". Was meinst Du mit der VI.??-- Wilfried Neumaier 16:30, 2. Jul. 2010 (CEST)