Kurt Gödelについて、ここに記述してください。

http://plato.stanford.edu/entries/goedel/

His Incompleteness Theorems, among the most significant achievements in logic
since, perhaps, those of Aristotle, are among the handful of landmark theorems
in twentieth century mathematics.