Es hätte keinen Sinn zu sagen ~ ((a + b)² = a² + 3ab + b²) wenn man das nicht ausdrücklich als einen Satz erlaubt hätte oder 25 × 25 ≠ 620 wenn man diesen Satz nicht ausdrücklich in den Kalkül hineingenommen
hätte. (In der Volksschule rechnet man mit solchen Sätzen nicht sondern tut falsche Gleichungen wie 25 × 25 = 620 als nicht zum Spiel gehörig ab.)