Könnte ich nicht einen Beweis
203
dafür geben, daß die beiden Zeilen des Induktionsschemas
a + (b + (c + 1)) = ◇ a + ((b + c + 1)) = (a + (b + c)) + 1
(a + b) + (c + 1) = ((a + b) + c) + 1(Ƒ)
restlos, sozusagen, durch das Transformationsschema α + ([b|β] + 1) = (α + [b|β]) + 1 teilbar sind?