In wiefern kann man nun so eine Anweisung auf Beweise, den || einen Beweis eines allgemeinen Satzes nennen? (Ist das nicht, als sollte || wollte man fragen „in wiefern kann man einen Wegweiser einen Weg nennen”?)
Aber er rechtfertigt doch die Anwendung von a + (b + c) = (a + b) + c auf Zahlen. Muß es also nicht doch einen legitimen Ausdruck || Übergang von dem Beweisschema zu diesem Ausdruck geben?