Godel
WordNet

noun


(1)   United States mathematician (born in Austria) who is remembered principally for demonstrating the limitations of axiomatic systems (1906-1978)
 
x
OK