2021-01-03から1日間の記事一覧

シリーズ「完全性定理を考える」その4　「等号付き一階述語論理の強完全性定理」というやつ

論理学

このシリーズのなかでたびたび混乱した感じになってしまっていたことがあった。鹿島亮『数理論理学』で証明されている完全性定理は「等号付き一階述語論理の強完全性定理」というやつである。このことをハッキリ意識しておかなくてはならなかった。鹿島本で…