Wenn man s fragt: “was heisst denn dann ‘5 + 7 = 12’ – was für ein Sinn oder Zweck bleibt denn noch für diesen Ausdruck, nachdem man die Tautologien etc. aus dem arithmetischen Kalkül ausges[h|c]haltet // ausgeschlossen // hat, – so ist die Antwort: Diese Gleichung ist eine Ersetzungsregel, die sich auf bestimmte allgemeine Ersetzungsregeln, die Regeln der Addition, stützt. Der Inhalt von 5 + 7 = 12 ist (wenn einer es nicht wüsste) genau das, was den Kindern Schwierigkeiten macht, wenn sie diesen Satz im Rechenunterricht lernen.