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

synonym: Kurt Godel.