Im rein-mathematischen Beweis, || könnte
135
man sagen – sei || ist das Anerkennen der Prämissen etwas Ähnliches wie das Anerkennen der Schritte.