•  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
  •  
+
돌아가기

실결정공리 (비교)

r2 ➤ r3
3실결정공리(Axiom of real determinacy, [math(\mathrm{AD}_\Bbb{R})])란 두 명의 사람이 실수를 뽑는 게임을 했을 때 게임 규칙이 어떻게 주어지든 둘 중 한 명이 반드시 이길 수 있는 전략이 존재한단 것이다. 실결정공리는 [[결정공리]]보다 더 강한 명제이다.