Similar to ススリンの問題

• 

  アルキメデスの性質

  Archimedean property
  
• 

  宇宙 (数学)

  Universe (mathematics)
  
• 

  吸収法則

  Absorption law
  
• 

  構造的帰納法

  Structural induction
  
• 

  DPLLアルゴリズム

  DPLL algorithm
  
• 

  Smn定理

  Smn theorem
  
• 

  アルゴリズム

  Algorithm
  ▲3 trends

  
• 

  Μ再帰関数

  General recursive function
  
• 

  0

  0
  
• 

  1

  1
  ▲1 trends

  
• 

  2

  2
  ▲1 trends

  
• 

  3

  3
  ▲1 trends

  
• 

  4

  4
  ▲1 trends

  
• 

  5

  5
  
• 

  6

  6
  
• 

  7

  7
  
• 

  8

  8
  ▲1 trends

  
• 

  9

  9
  
• 

  12345679

  
• 

  順序集合

  Ordered set
  
• 

  因果集合

  Causal sets
  
• 

  ヴェブレン階層

  Veblen function
  
• 

  可算鎖条件

  Countable chain condition
  
• 

  完備半順序

  Complete partial order
  
• 

  完備ブール代数

  Complete Boolean algebra
  
• 

  クリーネの不動点定理

  Kleene fixed-point theorem
  
• 

  コンパクト要素

  Compact element
  
• 

  最小不動点

  Least fixed point