Da im Text der Verweis auf v.d.Waerden vorkommt (von dort kommt nämlich das vereinfachte Axiomensystem), wäre es sinnvoll gewesen, die Literaturangabe dazu stehen zu lassen.
