“Aber, daß 25 × 25 625 ist, ist etwas, was wir vor dem ausführen der Multiplikation nicht wußten.” – Könnte ich nicht auch sagen: dieser Satz ist einer, dessen Beweis wir vorher nicht kannten. – – – [Soll wissen & kennen kontrastieren. Hängt auch damit zusammen; Wir wußten nicht nur nicht, daß dieser Satz (oder diese Zahl) herauskommen würde, sondern auch nicht wie, in welchem Sinne, er ‘herauskommen’ würde.]