Гедель, Курт


(1906–1978) логік і математик, Австрія