14.1.
– Aber nicht um die || eine Unsicherheit handelt sich's, denn wir sind (ja) unsrer Schlüsse sicher, sondern darum, ob wir noch (Russellsche) Logik betreiben, wenn wir z.B. wie oben dividieren.
     Wie weiß ich, wie || daß ich einen R.schen Beweis als Division anwenden kann? Ich sehe z.B. nach, wie oft eine Länge in einer andern enthalten ist: wie zeigt mir ein R-scher Beweis diese || führt mich ein R-scher Beweis zu dieser Anwendung? – Z.B., in R.schen Beweisen braucht kein
Zählen vorkommen. Aber kann ich nicht doch || dennoch einen Satz wie ‘127 : 18 = 7˙05’ in R.sche Notation übertragen? – Ja, wenn ich eine gewisse || diese Übertragung annehme. Aber ist es denn nicht einfach eine Übertragung nach || mittels einer Definition? ‒ ‒