あるいは
x<x∈Nである集合xの全体を考えると
空でなければ最小があるけれど
0<0は成り立たないのでxは0でなくて
x=y+1とするとy<yも成立するから矛盾とかでも？