X補題1*q(P.27)で,Rから導出される選択関数C(S,R)が性質βを満たすことの必要十分条件は,Rが順序であることを確認していました。SDFの値域に順序性を求めるならば,それはもはやSWFであることになります。P.52)が再び適用可能になりますので,ここでも不可能性が確認できます。以上で定理の正しいことが確認でき,証明終了となります。特定の記述項目について,読む上でのポイントを考えるものです。本ホームページの主旨や注意などについては,こちら(「読解のポイントを探る」項目リストページ)をご覧下さい。