Answer
Along with Aristotle and Frege, Kurt Gödel is considered one of the most significant logicians in history. Gödel is best known for his incompleteness theorems, which showed that no consistent system of axioms whose theorems can be listed by an "effective procedure" is capable of proving all truths about the natural numbers.