クルト・ゲーデル (Kurt Gödel) Schema.org Type: Person 専門領域: 2_認識論（数理論理学） 主要文献: Ref_Godel_1931 gist 不完全性定理を証明し、十分な算術的強度と実効性を持ついかなる形式公理系も自己の内部で完結・自己正当化できないことを示した論理学者 関連する命題ノート 2.510 不完全性定理と開かれたルール拡張の必然性