Similar to 低基底定理
グジェゴルチク階層
Grzegorczyk hierarchyクリーネの再帰定理
Kleene's recursion theorem
計算可能解析学
Computable analysis計算可能数
Computable number
ケーニヒの補題
Kőnig's lemma
コンプリート・ナンバリング
Complete numbering
帰納的分離不能対
Computably inseparable
実効ポーランド空間
Effective Polish space
創造的集合と生産的集合
Creative and productive sets
単純集合
Simple set
停止性問題
Halting problem
ナンバリング (計算可能性理論)
Numbering (computability theory)ハーディ階層
Hardy hierarchy
ビジービーバー
Busy beaver
フリードバーグ・ナンバリング
Friedberg numbering
ポストの定理
Post's theorem
ライス＝シャピロの定理
Rice–Shapiro theorem
Template:Mathlogic-stub
Template:Mathlogic-stub
裏 (論理学)
Inverse (logic)
型理論
Type theory
カット除去定理
Cut-elimination theorem
逆
Converse (logic)
逆含意
Converse implication
議論領域
Domain of discourseクレイグの補間定理
Craig interpolation
形式論理学
Formal logic
後者関数
Successor function
恒真式
Tautology (logic)