跳转到内容

Advertising:

查看“︁自然数良序原理”︁的源代码

←自然数良序原理

因为以下原因，您没有权限编辑该页面：

您请求的操作仅限属于该用户组的用户执行：用户

您可以查看和复制此页面的源代码。

[[分类:公理算术系统]]
{{非标准称呼}}
'''自然数良序原理'''是[[良序原理]]在自然数上的版本。在[[皮亚诺公理]]中可以代替归纳原理。

==  描述 ==

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

返回自然数良序原理。

检索自“https://knowledge.gsxab.top/wiki/自然数良序原理”

Advertising: