Es ist
nach Axiom (6), woraus sich nach Axiom (4) mit Modus Pones auch
ergibt. Wegen Axiom (1) ist
und daher mit Modus ponens auch
Wegen Axiom (5) ist
und damit mit Axiom (4) auch
sodass sich
ergibt.