Similar to 緩成長階層
ハーディ階層
Hardy hierarchy
ビジービーバー
Busy beaver▲2 trends
フリードバーグ・ナンバリング
Friedberg numbering
ライス＝シャピロの定理
Rice–Shapiro theorem
Template:Mathlogic-stub
Template:Mathlogic-stub
裏 (論理学)
Inverse (logic)
型理論
Type theory
逆
Converse (logic)
逆含意
Converse implication
議論領域
Domain of discourseクレイグの補間定理
Craig interpolation
形式論理学
Formal logic
後者関数
Successor function
恒真式
Tautology (logic)
シュタイニッツ数
Supernatural number
ショアのアルゴリズム
Shor's algorithm
証明 (数学)
Mathematical proof
新基礎集合論
New Foundations
推論
Inferenceスーダン関数
Sudan function
ダウンタック記号
Tee (symbol)
チャーチ・ロッサーの定理
Church–Rosser theorem
中間論理
Intermediate logic
ディック言語
Dyck language
二重否定の除去
任意
Arbitrariness
ハイティング代数
Heyting algebra
背理法
Proof by contradiction