Category:数理論理学
メタ理論
Metatheory
初等関数算術
Elementary function arithmeticメタ論理学
Metalogic
対称関係
Symmetric relation
負論理
Logic level
形式の法則
Laws of Form構成規則
Formation rule
関係の合成
Composition of relations
チューリングジャンプ
Turing jump
自己検証理論
Self-verifying theories
記述計算量
Descriptive complexity theory
帰納言語
Recursive language
正論理
単純集合
Simple set
一般と特殊 (数学)
Special case
意味論 (論理学)
宇宙 (数学)
Universe (mathematics)
関係 (数学)
Finitary relation
関係代数 (数学)
Relation algebra
ギルモアのアルゴリズム
構造主義 (数学の哲学)
Structuralism (philosophy of mathematics)初等同値性
Elementary equivalence
推移関係
Transitive relation
絶対性 (数理論理学)
Absoluteness (logic)
デービス・パトナムのアルゴリズム
Davis–Putnam algorithm独立性 (数理論理学)
Independence (mathematical logic)
変数 (数学)
Variable (mathematics)
有限モデル理論
Finite model theory
