10.01更新
我们利用反证法,考虑域 上的一个全序关系 ,满足:
我们称 当且仅当 。
首先证明有 ,否则由 知 ,从而 。
从而 ,矛盾。
进一步,由 ,我们先考虑 的情况,立即得
,矛盾。
再考虑 的情况,我们有 ,同样有
综上,这样的全序不存在
不存在,先占个坑