Category:数理論理学
クレイグの補間定理
Craig interpolationパリス=ハーリントンの定理
Paris–Harrington theorem合流性
Confluence (abstract rewriting)初等同値性
Elementary equivalence関係の合成
Composition of relations形式の法則
Laws of Formチューリングジャンプ
Turing jump構造的帰納法
Structural inductionチューリング次数
Turing degree必要条件
Necessary condition構成規則
Formation rule正論理
単純集合
Simple set一般と特殊 (数学)
Special case意味論 (論理学)
Semantics宇宙 (数学)
Universe (mathematics)関係 (数学)
Finitary relation関係代数 (数学)
Relation algebra記述計算量
Descriptive complexity theoryギルモアのアルゴリズム
構造主義 (数学の哲学)
Structuralism (philosophy of mathematics)初等関数算術
Elementary function arithmetic絶対性 (数理論理学)
Absoluteness (logic)対角化定理
Diagonal lemma独立性 (数理論理学)
Independence (mathematical logic)部分構造論理
Substructural logic変数 (数学)
Variable (mathematics)論理式 (数学)
Logical formula