Similar to 議論領域
存在記号
Existential quantification
対角化定理
Diagonal lemma
対称関係
Symmetric relation
タルスキの定義不可能性定理
Tarski's undefinability theorem
単純集合
Simple set
置換公理
Axiom schema of replacement
チューリング次数
Turing degree
チューリングジャンプ
Turing jump超現実数
Surreal number
超数学
Metamathematics
定義可能集合
Definable set
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm
デデキント数
Dedekind number
導出原理
Resolution (logic)
独立性 (数理論理学)
Independence (mathematical logic)
パースの法則
Peirce's law
パリス＝ハーリントンの定理
Paris–Harrington theorem
反射関係
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