Was bedeutet Axiomatisiert?