17.3.44.
     Verschiedene Arten, zu zeigen, daß eine Zahl durch 7 teilbar ist. Der eine Beweis zeigt, daß es eine Beweisfigur der andern Art geben muß. Andererseits: Ein Beweis des Fundamentalsatzes der Algebra – zeigt er, daß eine Beweisfigur der andern Art möglich ist? Nun, man kann das sagen, wenn diese Beweisfigur von vornherein genügend bestimmt ist.
144

     Wenn eine Überlegung dahin führt, dann kann eine Überlegung, die auf diesen Prinzipien beruht, nicht dorthin führen. D.h., || : wenn man die Sache nach diesen Prinzipien überlegt, kann nicht das herauskommen.