Wie ist es mit dem gemischten Vorkommen von Buchstaben & Ziffern in den algebraischen Sätzen? Das kann von zweierlei Art sein: a + 1 = b oder 2 ∙ a = b. im letzteren Fall kann man die Ziffer wegschaffen & schreiben a + a = b. Aber sin n ∙ π = 0? Hier steht n für irgend eine Zahl & der Satz kann rekursiv bewiesen werden. Ich kann ihn aber auch als algebraische Regel auffassen die man mit dem, was sich im Gebiet der Zahlen zeigt in Übereinstimmung gebracht hat.