Ich möchte sagen: Der Beweis gibt uns einen ⌊(⌋neuen⌊)⌋ Begriff weil wir nach

dem Bew.
ihm

anders reden können als ehe er

erbracht
gegeben

wurde vorher. Ich merke anders nicht über mathem. Dinge sondern über nicht mathem.
Oder: man hat nach dem Beweis andere Begriffe als vorher.

Gibt mir der Beweis nicht

neue
andere

Gesichtspunkte ˇum

nach
mit

ihnen die Dinge zu beurteilen. // um nach ihnen zu urteilen. // // nach denen ich wir die Dinge beurteilen? //

Macht der Beweis nicht neue Urteile moglich?

Er lehrt uns eine Technik. Er zeigt uns eine Reihe von Transformationen. Das Diagramm eines Gedankenganges.

Den Satz zu dem er uns geführt hat, hat eine bestimmte Anwendung. (Z.B. der Fundamentalsatz)

Könnte man sagen: [D|d]er Beweis gebe mir den Begriff eines Gedankengangs?

p ∙ p ⊃ q ∙ ⊃ ∙ q
p → r ∙ s
q → r ⌵ s

r ∙ s : r ∙ s ⊃ r ⌵ s : ⊃ r ⌵ s

Verfahre so!