Die Frage ist aber, rechne ich (horizontal) anders ˇalgebraisch in III mit I & II als in I mit der Definition a + (b + 1) = (a + b) + 1? Bediene ich mich des Komplexes I nicht in derselben Weise in III wie der ˇRekursiven Definition in I?