曇りなき眼で見定めブログ

学生です。勉強したことを書いていく所存です。リンクもコメントも自由です! お手柔らかに。。。更新のお知らせはTwitter@cut_eliminationで

2020-12-20から1日間の記事一覧

シリーズ「完全性定理を考える」その2 無限に広がる変数記号

一階述語論理の完全性定理の証明をちゃんと理解するためにいろんな教科書の見比べるシリーズの第2回です。鹿島亮先生の『数理論理学』は特に工夫をいろいろしているようなので、今回もそれです。数理論理学 (現代基礎数学)作者:鹿島 亮発売日: 2009/10/01メ…