Least Integer Principle Every nonem

Least Integer Principle Every nonempty set of positive integers
has a least element.

Kết quả (Việt) 1:

Thiết lập ít nhất là số nguyên nguyên tắc mỗi nonempty của số nguyên dươngcó một yếu tố ít nhất.

Kết quả (Việt) 2:

Ít nhất Integer Nguyên tắc Mỗi tập khác rỗng các số nguyên dương
có một yếu tố ít nhất.