Was macht es, daß ich weiß, daß die Definition „a + ((b) + 1) = (a + b) + 1 Def” rekursiv auf alle Zahlen angewandt werden kann?
    Oder: Wie zeigt sich die Periodizität dieser Definition?