La mémoire de mathématiques

数学めも by Müde

数理論理学(命題論理と述語論理)(平成19年度版)@大阪府立大学

ゲーデルの完全性定理を解説する資料だそうだ。

http://www.mi.s.osakafu-u.ac.jp/~kada/course/kamo-predicatelogic.pdf

ううむ。これをそれなりに理解できるところまで持っていくのは大変そう。 読むかどうかは分からないけど、備忘録として。