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. Muß es also nicht doch einen legitimen Übergang von dem Beweisschema zu diesem Ausdruck geben?