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
  
• 

  メレオロジー

  Mereology
  
• 

  Grundzüge der Mengenlehre

  Grundzüge der Mengenlehre
  
• 

  DPLLアルゴリズム

  DPLL algorithm
  
• 

  Smn定理

  Smn theorem
  
• 

  アルゴリズム

  Algorithm
  ▲2 trends

  
• 

  数学基礎論

  Foundations of mathematics
  
• 

  Μ再帰関数

  General recursive function
  
• 

  無限

  Infinity
  
• 

  数学

  Mathematics
  ▼-1 trends

  
• 

  Séminaire de Géométrie Algébrique du Bois Marie

  Séminaire de Géométrie Algébrique du Bois Marie
  
• 

  0

  0
  
• 

  1

  1
  
• 

  2

  2
  
• 

  3

  3
  
• 

  4

  4
  
• 

  5

  5
  
• 

  6

  6
  
• 

  7

  7
  
• 

  8

  8