Wenn man namlich sagt, B sei
der
ein
Beweis
für
von
A, so frage ich [ so will ich fragen ] durch welche Satze [ mit welchen Sätzen ] ist A bewiesen? Und wenn man mir sagt, „durch α”, so antworte ich: β & γ (oder α, β & γ) sind durch α bewiesen, aber α ∙ β ∙ γ beweist A nicht & ist nicht A, (sowenig 1˙0 : = 0˙3 als bloße Division
1 : 3 = 0˙ beweist), sondern α ∙ β ∙ γ (das allerdings ganz aus α
gewonnen wird
hervorgeht
) beweist A erst (oder ist äquivalent mit A), wenn die Induktion in α ∙ β ∙ γ gesehen wird. [ wenn man die Induktion … sieht. ]
Ich muß, um ‚A zu beweisen’, erst – wie man sagen würde – die Aufmerksamkeit auf etwas ganz bestimmtes [ auf ganz bestimmte Züge
von
in
B ]
richten.
lenken. [ … lenken oder richten. ]
(Wie in der Division 1˙
0
1
: 3 = 0˙3 .)

\