Drittes Axiom im Hilbert-Kalkül ausgebessert