Similar to 直観主義型理論
マイケル・ダメット
Michael Dummett
直観主義論理
Intuitionistic logic
二重否定翻訳
Double-negation translation
パースの法則
Peirce's law
アレン・ハイティング
Arend Heyting
ライツェン・エヒベルトゥス・ヤン・ブラウワー
L. E. J. Brouwer
構成主義 (数学)
Constructivism (philosophy of mathematics)
原始帰納的算術
Primitive recursive arithmetic
実現可能性 (論理学)
Realizability
ハイティング代数
Heyting algebra
モデル理論
Model theory
数学基礎論
Foundations of mathematics
計算理論
Theory of computation
宇宙 (数学)
Universe (mathematics)
カントールの往復論法
Back-and-forth method
幾何学基礎論
Foundations of geometry
形式主義 (数学)
Formalism (philosophy of mathematics)
公理
Axiomコンパクト性定理
Compactness theorem
自己言及のパラドックス
Liar paradox
集合論
Set theory
充足可能性問題
Boolean satisfiability problem推論規則
Rule of inference
数理論理学
Mathematical logic
全称記号
Universal quantification素朴集合論
Naive set theory代替集合論
List of alternative set theories超実数
Hyperreal number