Category:数理論理学
超現実数
Surreal number
ブラリ＝フォルティのパラドックス
Burali-Forti paradox
グッドスタインの定理
Goodstein's theorem
帰納的可算言語
Recursively enumerable language
パースの法則
Peirce's law
逆数学
Reverse mathematics
高階述語論理
Higher-order logic
項書き換え
Rewriting
Μ再帰関数
General recursive function
ススリンの問題
Suslin's problem
推移関係
Transitive relation
帰納的可算集合
Computably enumerable set
メタ論理学
Metalogic
カントールの往復論法
Back-and-forth method
メレオロジー
Mereology
保存拡大
Conservative extension
形式体系
Formal system
レーブの定理
Löb's theorem
ブール値関数
Boolean-valued function
有限演算
Finitary
帰納言語
Recursive language初等同値性
Elementary equivalence
形式の法則
Laws of Form
初等関数算術
Elementary function arithmetic
チューリングジャンプ
Turing jump
マーティンの公理
Martin's axiom
対称関係
Symmetric relation構成規則
Formation rule
