>>988
Zは正の整数の集合なので、Zから適当に部分集合取ってくると必ず最小元minA
が存在する。よって順序集合は整列集合。おしまい。