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? ‒ ‒