"complete axiom system" Deutsche bedeutung