14.1.
– Aber nicht um
eine
die
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,
daß
wie
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 führt mich ein R.scher Beweis diese zu dieser Anwendung? – Z.B., in R.schen [|B]eweisen 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? ‒ ‒