Inwiefern kann man nun so eine Anweisung auf Beweise, den Beweis eines allgemeinen Satzes nennen? (Ist das nicht, als wollte man fragen “inwiefern kann man einen Wegweiser einen Weg nennen”?)
     Aber er rechtfertigt doch die Anwendung von A(c) auf Zahlen. Muss es also nicht doch einen legitimen Uebergang von dem Beweisschema zu diesem Ausdruck geben?

✓ / \ ?