库尔特·哥德尔 提出不完备定理，奠定数理逻辑基础

奥地利数学家、逻辑学家，以不完备定理闻名，证明了在任何一致的形式系统中存在无法被证明的真命题，对数学基础和逻辑学影响深远。