"axiomatic set" Deutsche bedeutung