In hindsight , the basic idea at the heart of the incompleteness theorem is rather simple .
Gödel is best known for his two incompleteness theorems .