高階述語論理
higher-order predicate logic (HOL)
意味論
標準意味論 (standard semantics)
完全意味論 (Tarski 意味論)
Henkin 意味論 (Henkin semantics)
內包公理 (comprehension scheme)
Henkin 構造
Boolean 値意味論 (boolean-valued semantics)
二階述語論理 (second-order logic)
existential second-order logic (ESO)
樣相二階論理 (monadic second-order logic。MSO)
槪念記法 (Begriffsschrift)