Answer
Kurt Gödel was a German mathematician and logician, born in Austria-Hungary. He is considered one of the most important logicians of the 20th century, and his work had a profound impact on the foundations of mathematics and philosophy. Gödel's most famous theorems are the incompleteness theorems, which show that any consistent formal system of axioms capable of modelling basic arithmetic is either incomplete or inconsistent.