/  
In wiefern kann man nun so eine Anweisung auf Beweise,
einen
den
Beweis eines allgemeinen Satzes nennen? (Ist das nicht, als so wollte man fragen „in wiefern kann man einen Weg_Weiser 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?