Category:数理論理学
ブラリ＝フォルティのパラドックス
Burali-Forti paradox
グッドスタインの定理
Goodstein's theorem
帰納的可算言語
Recursively enumerable language超現実数
Surreal number
線形論理
Linear logic
逆数学
Reverse mathematics
推移関係
Transitive relation
ススリンの問題
Suslin's problem
パースの法則
Peirce's law
帰納的可算集合
Computably enumerable set
Μ再帰関数
General recursive function
項書き換え
Rewriting
高階述語論理
Higher-order logic
カントールの往復論法
Back-and-forth method
保存拡大
Conservative extension
決定可能性
Decidability (logic)
レーブの定理
Löb's theorem
有限演算
Finitary
メタ論理学
Metalogic
帰納言語
Recursive language初等同値性
Elementary equivalence
構造的帰納法
Structural induction
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm
形式の法則
Laws of Form
初等関数算術
Elementary function arithmetic
チューリングジャンプ
Turing jump構成規則
Formation rule
正論理
