"vollständig axiomatische Theorie" Englisch