基础数论问题：最小自然数原理
请哪位大虾给一个详细的解析过程,谢谢!
最小自然数原理：自然数集的任意非空子集中一定存在最小的自然数元素