Similar to クレイグの補間定理
超数学
Metamathematics
定義可能集合
Definable set
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
デデキント数
Dedekind number
導出原理
Resolution (logic)
独立性 (数理論理学)
Independence (mathematical 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
