"consistent axiom system" Deutsche bedeutung