Similar to ゲーム意味論
ハイティング代数
Heyting algebra
パリス＝ハーリントンの定理
Paris–Harrington theoremハルモス代数
Polyadic algebra
反射関係
Reflexive relation
必要条件
Necessary condition
ヒルベルト・プログラム
Hilbert's program
ブーリアン型
Boolean data type
フーリエ・モツキンの消去法
Fourier–Motzkin elimination
ブール関数
Boolean function
ブール代数
Boolean algebra (structure)
ブール値関数
Boolean-valued function
ブール領域
Boolean domain
部分構造論理
Substructural logic
ブラリ＝フォルティのパラドックス
Burali-Forti paradox
プリンキピア・マテマティカ
Principia Mathematica
プレスバーガー算術
Presburger arithmetic
負論理
Logic level
変数 (数学)
Variable (mathematics)
保存拡大
Conservative extension
マーティンの公理
Martin's axiom無限
Infinity
無限論理
Infinitary logic
命題関数
Propositional function
メタ理論
Metatheoryメタ論理学
Metalogic
モデル理論
Model theory
有限演算
Finitary有限モデル理論
Finite model theory
