If you do not find what you're looking for, you can use more accurate words.
Kurt Godel:- United States mathematician (born in Austria) who is remembered principally for demonstrating the limitations of axiomatic systems (1906-1978) (Princeton WordNet 3.1)