良序原理

良序原理指出，自然数集的每个非空子集都有最小元素，即自然数在其标准的大小关系下构成良序。