Answer
Gödel made major contributions to philosophy and science in the 20th century. He is best known for his incompleteness theorems, which showed that any consistent system of axioms capable of modelling basic arithmetic is either incomplete or inconsistent. His work also had a significant impact on logic, set theory, and computer science.