最小数原理

自然数集的性质之一。自然数集的任意一个非空的子集一定有最小的数。这一性质称为最小数原理，是根据自然数的归纳公理推导出来的。