一階述語論理
first-order predicate logic
first-order logic
数理論理学
ロビンソン算術
コンパクト性定理
ゲーデルの完全性定理
ゲーデルの不完全性定理
エルブラン化
論理記号の一覧
冠頭標準形
分析論前書
Prolog
関係代数
(関係モデル)
関係モデル
スコーレム標準形
真理値表
https://ja.wikipedia.org/wiki/一階述語論理