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
