一階述語論理の完全性定理は論理学の最重要定理の一つであり、多くの教科書に証明が載っている。で、当たり前だが教科書によって証明のしかたが異なるので、いろいろな教科書の証明を比較することで理解を深めようというのがこのシリーズである。そういう勉…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。