Kann man sagen, daß ich, ˇzwar nicht durch eine einfache, aber durch eine iterative Definition (wenn auch nicht durch eine einfache) einen neuen Begriff einführe? – Warum aber? Führt eine iterative Def. nicht nur einec Reihe von Abkürzungen ein – statt einer Abkürzung?
  (Ist es übrigens eine Abkürzung wenn ich festsetze:
     1 + (1 + 1) = (1 + 1) + 1 Def. ?)