27.
Wenn „den algebraischen Satz mittels der Sätze
p,
q,
r beweisen” heißt,
die Übergänge der Gleichungskette den
S
ätzen p,
q,
r
entsprechend machen,
dann ist B kein Beweis von A mittels α, noch
ein || der Beweis eines Satzes der mittels A
bewiesen ist. Denn den Übergang in A habe ich
nicht durch α vermittelt.