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., daß || ob ich sie mit Recht das Resultat dieser Substitution nenne? Man könnte sich denken, daß so etwas durch eine Wägung festgestellt würde.