D.h.: der || Der logische Beweis, etwa von der Russellschen Art, ist beweiskrä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) ausgeführte Konstruktion nach R-scher Art es nicht ist. || entwickelte logische Beweiskonstruktion es nicht ist. || , wenn || wo die ungekürzte logische Konstruktion es nicht ist || wäre.