Dies ist eine bestimmte Beweis-Maschinerie, nicht die ewig-gültige Form eines Beweises. (Ich denke an Gödels einleitender beiläufiger Beweisführung.)