:
述語論理の公理系
:
記号/命題/述語論理
:
冠頭標準形
述語の公理系
述語論理の公理系
述語論理の記号
論理式
公理
推論規則と証明
証明可能性
推論法則
演繹定理
解釈
充足性とモデル
述語論理の完全性定理
Yasunari SHIDAMA