日本語辞典 › ゲーデル
米国の数学者（オーストリア生まれ）で、公理系の規制を示したことで知られる（1906年−1978年）
日本語辞書内の修正が必要な個所など発見しましたらお問い合わせいただけると幸いです。