Denn, angenommen, ich habe zwei Zeilen eines Beweises; die zweite ist aus der ersten durch Einsetzung von … für … entstanden – wie stelle ich fest, daß sie wirklich so entstanden ist, d.h.,
ob
daß
ich sie mit Recht das Resultat dieser Syubstitution nenne? Man könnte sich denken, daß so etwas durch eine Wägung festgestellt würde.