ゲーデル【Kurt Gdel】 （1906-1978） オーストリア生まれのアメリカの数学者・論理学者。一階述語論理の完全性を証明，さらに形式的体系における決定不能命題の存在を主張する不完全性定理を見いだし，論理学および数学基礎論に大きな影響を及ぼした。