“Richtig ist die Gleichung die nach den Regeln erzeugt werden kann”. Was ist das Kriterium für diese Möglichkeit der erzeugung? Doch wohl der Beweis & d.h. der durchgeführte Beweis, nicht die Möglichkeit des Beweises. Aber
war also 25 × 25 = 625 nicht richtig, ehe es ausgerechnet war? – Und was hat die Zeit überhaupt in dieser Frage zu schaffen?