Es wäre m. E. besser, wenn für die auf k unmittelbar folgende Zahl ein anderes Symbol als k+1 verwendet würde. Denn das +-Zeichen erweckt den Anschein, als sei von Addition die Rede. Aber diese kommt in den Axiomen ja gar nicht vor, sondern wird erst später mit Hilfe der Axiome, insbesondere des Induktiosaxioms, eingeführt. -- Hanfried.lenz 09:34, 3. Sep. 2007 (CEST) .