Behauptung:Jedes Programm läß sich um eine Anweisung kürzen.
Jedes Programm hat mindestens einen Fehler.
Durch Induktion können wir schließen:
#Der Stabsarzt sieht bei der Musterung d …
/> Jedes Programm ist reduzierbar auf eine Anweisung, die nicht funktioniert…