Was ich sagen will ist eigentlich nur: Mit den Definitionen x ∙ x = x², x ∙ x ∙ x = x³, x ∙ x ∙ x ∙ x = x⁴ kommen nur die Zeichen x², x³, x⁴ zur Welt (und so weit war es noch nicht nötig Ziffern als Exponenten zu schreiben). ∣ Die rekursive Definition von xn drückt nicht etwa aus was im Kalkül mit x², x³, x⁴ schon war || schon vorhanden war & nur hat gefunden werden müssen, sondern bedeutet eine neue Konstruktion ∣ . (Die keine frühere Lücke ausfüllt.)