Wiederholung von Axiomen 1, 2, 3 beim Hilbert-Kalkül vermieden