D.h.:
Der
der
logische Beweis, etwa von der Russellschen Art, ist beweis-
kräftig nur solange, als er auch geometrische Überzeugungskraft besitzt. Und eine ‘Abkürzung’ eines solchen logischen Beweises kann diese Überzeugungskraft haben & durch sie ein Beweis sein, wenn die (voll)
entwickelte logische Beweiskonstruktion es nicht ist.
ausgeführte Konstruktion nach R-scher Art es nicht ist.
// ,
wo
wenn
die ungekürzte logische Konstruktion es nicht
wäre
ist
. //