自然数良序原理

请注意，这个条目所介绍的术语没有标准称呼。仅仅是为了便于描述建立条目取了一个名字。

自然数良序原理是良序原理在自然数上的版本。在皮亚诺公理中可以代替归纳原理。

描述

任意自然数的非空集都有最小元。