Similar to フーリエ・モツキンの消去法
ハルモス代数
Polyadic algebra反射関係
Reflexive relation必要条件
Necessary conditionヒルベルト・プログラム
Hilbert's programブーリアン型
Boolean data typeブール関数
Boolean functionブール代数
Boolean algebra (structure)ブール値関数
Boolean-valued functionブール領域
Boolean domain不動点コンビネータ
Fixed-point combinator部分構造論理
Substructural logicブラリ=フォルティのパラドックス
Burali-Forti paradoxプリンキピア・マテマティカ
Principia Mathematicaプレスバーガー算術
Presburger arithmetic負論理
Logic level並行制約プログラミング
Concurrent constraint logic programming並行論理プログラミング
Concurrent logic programming変数 (数学)
Variable (mathematics)保存拡大
Conservative extensionマーティンの公理
Martin's axiom無限
Infinity無限論理
Infinitary logic矛盾許容論理
Paraconsistent logicメタ理論
Metatheoryメタ論理学
Metalogicモデル理論
Model theory有限演算
Finitary有限モデル理論
Finite model theory