Similar to 構造主義_(数学の哲学)
構造主義 (数学の哲学)
Structuralism (philosophy of mathematics)ZFCから独立な命題の一覧
List of statements independent of ZFC宇宙 (数学)
Universe (mathematics)完全関係
Connected relationグッドスタインの定理
Goodstein's theorem推移関係
Transitive relation対称関係
Symmetric relationΔ-システム補題
Sunflower (mathematics)▲1 trends反射関係
Reflexive relationメレオロジー
MereologyGrundzüge der Mengenlehre
Grundzüge der MengenlehreDPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremアルゴリズム
Algorithm数学基礎論
Foundations of mathematicsΜ再帰関数
General recursive function無限
Infinity数学
Mathematics▲1 trendsSéminaire de Géométrie Algébrique du Bois Marie
Séminaire de Géométrie Algébrique du Bois Marie0
0▲2 trends1
1▲1 trends2
2▲1 trends3
34
4▲1 trends5
56
6▲1 trends7
78
8