gódel's proof - German English Dictionary