Category:数理論理学
完全関係
Connected relation
帰納言語
Recursive language
メレオロジー
Mereology初等同値性
Elementary equivalence
合流性
Confluence (abstract rewriting)
パリス＝ハーリントンの定理
Paris–Harrington theorem無限論理
Infinitary logic
十分条件
Sufficient condition
チューリングジャンプ
Turing jump
モデル理論
Model theory
レーブの定理
Löb's theorem
関係の合成
Composition of relations構成規則
Formation rule
正論理
単純集合
Simple set
一般と特殊 (数学)
Special case
意味論 (論理学)
Semantics
宇宙 (数学)
Universe (mathematics)
関係 (数学)
Finitary relation
関係代数 (数学)
Relation algebra
記述計算量
Descriptive complexity theory
ギルモアのアルゴリズム
構造主義 (数学の哲学)
Structuralism (philosophy of mathematics)
構造的帰納法
Structural induction
絶対性 (数理論理学)
Absoluteness (logic)独立性 (数理論理学)
Independence (mathematical logic)
ブール領域
Boolean domain
部分構造論理
Substructural logic
