Kurt Godel/ Solomon Feferman (EDT)/ Stephen C. Kleene (EDT)/ Gregory H. Moore (EDT)/ John W. Dawson Jr. (EDT)/ Robert M. Solovay (EDT)/ Jean Van Heijenoort (EDT)
（1）
Kurt G del was the most outstanding logician of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice
