Ist es nicht eine unmißverständliche & eindeutige Vorschrift zu sagen: „Schreibe die Ziffern von π an wo aber in π eine „7” steht, ersetze sie durch 5”? Und von dieser Zahl π' wüßte ich nun nicht ob sie gleich oder kleiner als π ist. Aber es muß sich doch beweisen lassen. Es muß entweder ein Gesetz geben, nach welchem eine „7” nicht in π auftreten kann oder eines nach welchem dies unendlich oft vorkommt, oder eines nach welchem es nach einer bestimmten Stelle nicht mehr vorkommt. Jedesmal ist es etwas was im Wesen einer Variablen liegt & nicht in der Extension. (Auch hier ist der Gegensatz den Weyl zu sehen meint nicht vorhanden.)