$$\newcommand{\sslash}{\mathbin{/\mkern-6mu/}}$$
$$\newcommand{\defeq}{\stackrel{\text{def}}{=}}$$
$$\require{bussproofs}$$
$$\newcommand{\counterfactual}
{~\Box\kern-1.5pt\raise1pt\hbox{$\mathord{\rightarrow}$}~}
\newcommand{\countermight}
{~\mathord{\Diamond}\kern-1.5pt\raise0.5pt\hbox{$\mathord{\rightarrow}$}~}$$
$$\newcommand{\Dashv}{\mathbin{\style{display: inline-block; transform: scaleX(-1)}{\vDash}}}$$
- 모든 의무가 실현된 세계를 가정하자.
- 그러한 세계가 상상 가능하다.
- (의무의 세계에 대한 접근가능성) 따라서 그러한 세계가 접근 가능하다.
- 어떤 x에게 있어, F가 불가능하다고 하자.
- 바로 그 x에 대해, 모든 접근 가능한 세계에서 F(x)가 거짓이다.
- 바로 그 x에 대해, F는 의무가 아니다. (의무의 세계에 대한 접근가능성에 의해)
- 따라서, 불가능하다면 의무가 아니다.
- 어떤 x에게 있어, F가 의무라고 하자.
- 바로 그 x에 대해, 어떤 접근 가능한 세계에서 F(x)가 참이다. (의무의 세계에 대한 접근가능성에 의해)
- 바로 그 x에 대해, F가 가능하다.
- 따라서, 의무라면 가능하다.
