Similar to 直観主義_(数学の哲学)
直観主義 (数学の哲学)
Intuitionism
直観主義型理論
Intuitionistic type theory
ZFCから独立な命題の一覧
List of statements independent of ZFC
Ω無矛盾
Ω-consistent theory
0
0
1
1▲1 trends
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9▼-1 trends
12345679
直観論理
スティーヴン・コール・クリーネ
Stephen Cole Kleene
マイケル・ダメット
Michael Dummett
直観主義論理
Intuitionistic logic
二重否定翻訳
Double-negation translation
パースの法則
Peirce's law
アレン・ハイティング
Arend Heyting
ライツェン・エヒベルトゥス・ヤン・ブラウワー
L. E. J. Brouwer
モデル理論
Model theory
数学基礎論
Foundations of mathematics
計算理論
Theory of computation
宇宙 (数学)
Universe (mathematics)
カントールの往復論法
Back-and-forth method