Similar to 部分構造論理
線形時相論理
Linear temporal logic存在記号
Existential quantification対角化定理
Diagonal lemma対称関係
Symmetric relationタルスキの定義不可能性定理
Tarski's undefinability theorem単純集合
Simple set置換公理
Axiom schema of replacementチューリング次数
Turing degreeチューリングジャンプ
Turing jump超現実数
Surreal number定義可能集合
Definable setデービス・パトナムのアルゴリズム
Davis–Putnam algorithmデデキント数
Dedekind number導出原理
Resolution (logic)二階述語論理
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