Wie ist es mit dem gemischen Vorkommen von Buchstaben & Ziffern in den algebraischen Satzen? 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.