Similar to DPLLアルゴリズム
置換公理
Axiom schema of replacement
チューリング次数
Turing degree
チューリングジャンプ
Turing jump超現実数
Surreal number
超数学
Metamathematics
定義可能集合
Definable set
デデキント数
Dedekind number
二階述語論理
Second-order logic
パースの法則
Peirce's law
ハイティング代数
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