metamathematician - German English Dictionary