Wenn der Beweis eine Straße
ist, die zum Satz führt,
// ist zu diesem Satz, //
zum (bewiesenen) Satz ist,
welche Rolle spielt diese Straße noch
, –
,
wenn wir sie einmal gegangen sind? Sie gibt dem Satz seinen Ort
in einem
im
System.

117