求助大佬，最近学离散数学，Peano公理构建自然数，教授说良序原理和归纳法公理等价，但证明有一点我始终搞不明白，证明大体就是假设K
满足归纳假设，A=N-K，假设A非空，注意到0不属于A（归纳假设）取一个最小的m（良序），那么他的前继n不属于A，但根据归纳假设n的后继m自然属于K，这与m不属于K矛盾从而得证。我的问题是，为什么m一定存在前继？如何证明？
满足归纳假设，A=N-K，假设A非空，注意到0不属于A（归纳假设）取一个最小的m（良序），那么他的前继n不属于A，但根据归纳假设n的后继m自然属于K，这与m不属于K矛盾从而得证。我的问题是，为什么m一定存在前继？如何证明？
