20/07/18 22:00:44.95 gExieBKv.net
>>289さんの方針でも清書してみました。
A={x∈S∥P(x)が偽} , B={|N(x)|∥x∈A} とする。
非負整数の集合であるBの最小値を与えるAの要素のうちの1つをx1とする。
(iii)の対偶から、P(x)が偽であるならば「|N(y)| < |N(x)| を満たす y ∊ S でP(y)が偽であるものが存在する」が成り立つ
したがってP(x1)が偽であるから|N(y)| < |N(x1)| を満たす y ∊ S でP(y)が偽であるものが存在することになるが、これはx1の最小性に矛盾する。