실결정공리 (원본) (1)

[Include(틀:가져옴,O=오메가, C=[[https://creativecommons.org/licenses/by-nc-sa/3.0/deed.ko|CC BY-NC-SA 3.0]], L=[[https://archive.ph/PhWqv|링크]])]
실결정공리(Axiom of real determinacy, [math(\mathrm{AD}_\Bbb{R})])란 두 명의 사람이 실수를 뽑는 게임을 했을 때 게임 규칙이 어떻게 주어지든 둘 중 한 명이 반드시 이길 수 있는 전략이 존재한단 것이다. 실결정공리는 결정공리보다 더 강한 명제이다.