不完全性定理 (Incompleteness Theorem)

  • Schema.org Type: DefinedTerm
  • 所属領域: 2_認識論

gist
ゲーデルが証明した数理論理学の定理であり、実効的な形式ルール体系が自己の内部だけで完結・自己正当化できないことの証明


関連する命題ノート