completeness theorem - German English Dictionary