Answer
Gödel's main focus was mathematical logic. He is best known for his incompleteness theorems, which show that any consistent system of axioms capable of modelling basic arithmetic is either incomplete or inconsistent. Gödel's work had a profound impact on the foundations of mathematics, and it continues to be studied and debated today.