Similar to クレイグの補間定理
超数学
Metamathematics
定義可能集合
Definable set
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
デデキント数
Dedekind number
導出原理
Resolution (logic)
二階述語論理
Second-order logic
パースの法則
Peirce's law
反射関係
Reflexive relation
必要条件
Necessary condition
ヒルベルト・プログラム
Hilbert's program
ブーリアン型
Boolean data type
フーリエ・モツキンの消去法
Fourier–Motzkin elimination
ブール関数
Boolean function
ブール代数
Boolean algebra (structure)
ブール値関数
Boolean-valued function
ブール領域
Boolean domain
不動点コンビネータ
Fixed-point combinator
部分構造論理
Substructural logic
ブラリ＝フォルティのパラドックス
Burali-Forti paradox
プレスバーガー算術
Presburger arithmetic
負論理
Logic level
並行制約プログラミング
Concurrent constraint logic programming
並行論理プログラミング
Concurrent logic programming
変数 (数学)
Variable (mathematics)
保存拡大
Conservative extension
マーティンの公理
Martin's axiom無限
Infinity
無限論理
Infinitary logic
