Every nonempty set of Positive integers contains a smallest member.
References
Shanks, D. Solved and Unsolved Problems in Number Theory, 4th ed. New York: Chelsea, p. 149, 1993.
数学辞典收录了8975条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。