Example image of eyePlorer eyePlorer map for 'Kurt Gödel': Austria Brno Logic Mathematician Moravia Philosophy Princeton, New Jersey United States Alfred North Whitehead Bertrand Russell David Hilbert Mathematics Set theory Gödel's incompleteness theorems University of Vienna Axiomatic system Natural number Peano axioms Recursive set Gödel number Continuum hypothesis Classical logic Intuitionistic logic Modal logic Proof theory Ethnic Germans German language Czech language Czechoslovakia World War I Anschluss Germany Nazi Germany World War II Vienna Gabelsberger shorthand Immanuel Kant Isaac Newton Johann Wolfgang von Goethe Theory of Colours (book) Theoretical physics Philosophy of mathematics Hans Hahn Metaphysical Foundations of Natural Science Moritz Schlick Rudolf Carnap Vienna Circle Mathematical logic Number theory Bologna