Similar to 形式主義_(数学)
形式主義 (数学)
Formalism (philosophy of mathematics)
数学基礎論
Foundations of mathematics
ZFCから独立な命題の一覧
List of statements independent of ZFC
Ω無矛盾
Ω-consistent theory
CW複体
CW complex
アフィン幾何学
Affine geometry
0
0▼-1 trends
1
1▲1 trends
2
2
3
3
4
4
5
5
6
6▼-1 trends
7
7
8
8
9
9
12345679
モデル理論
Model theory
計算理論
Theory of computation
宇宙 (数学)
Universe (mathematics)
カントールの往復論法
Back-and-forth method
幾何学基礎論
Foundations of geometry
公理
Axiomコンパクト性定理
Compactness theorem
自己言及のパラドックス
Liar paradox
集合論
Set theory
充足可能性問題
Boolean satisfiability problem推論規則
Rule of inference