每个非空的正整数集合都包含一个最小的元素。
良序原理
参见
选择公理, 良序集使用 Wolfram|Alpha 探索
参考文献
Apostol, T. M. "良序原理." §I 4.3 in Calculus, 2nd ed., Vol. 1: One-Variable Calculus, with an Introduction to Linear Algebra. Waltham, MA: Blaisdell, pp. 34-35, 1967.Shanks, D. Solved and Unsolved Problems in Number Theory, 4th ed. New York: Chelsea, p. 149, 1993.在 Wolfram|Alpha 中被引用
良序原理请引用为
Weisstein, Eric W. “良序原理。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/WellOrderingPrinciple.html