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▲1 trends数学基礎論
Foundations of mathematicsΜ再帰関数
General recursive function無限
Infinity数学
MathematicsSéminaire de Géométrie Algébrique du Bois Marie
Séminaire de Géométrie Algébrique du Bois Marie0
0▼-1 trends1
12
23
34
45
56
67
78
8