Filozofia twórczości Kurta Gödla - powszechnie uważanego za najwybitniejszego logika XX w. - jest mniej znana, niż jego osiągnięcia z zakresu logiki formalnej. Niniejsza praca jest próbą prezentacji jego poglądów filozoficznych. Przedstawione są one na tle filozofii m in. Hilberta, Carnapa, Quine'a. W pracy analizowany jest też związek między poglądami filozoficznymi Gödla, a proponowaną przez niego logiką formalną. Krótko omówiony został również dyskutowany współcześnie (a inspirowany jego filozofią) program poszukiwania nowych, aksjomatycznych teorii mnogości. Książkę kończy biografia Gödla.