Similar to 二重否定翻訳
証明論
Proof theory
誤った数学的推論
Mathematical fallacy
カット除去定理
Cut-elimination theorem
カリー＝ハワード同型対応
Curry–Howard correspondence
緩成長階層
Slow-growing hierarchy
逆数学
Reverse mathematics急成長階層
Fast-growing hierarchy
ゲーデルの加速定理
Gödel's speed-up theorem
シークエント
Sequent
自然演繹
Natural deduction
実現可能性 (論理学)
Realizability
証明可能性論理
Provability logic
初等関数算術
Elementary function arithmetic
チャーチ・クリーネ順序数
Nonrecursive ordinal
独立性 (数理論理学)
Independence (mathematical logic)
保存拡大
Conservative extension直観主義 (数学の哲学)
Intuitionism
直観論理
スティーヴン・コール・クリーネ
Stephen Cole Kleene
マイケル・ダメット
Michael Dummett
直観主義型理論
Intuitionistic type theory
直観主義論理
Intuitionistic logic
パースの法則
Peirce's law
アレン・ハイティング
Arend Heyting
ライツェン・エヒベルトゥス・ヤン・ブラウワー
L. E. J. Brouwer