(Sederhana)
Setiap himpunan bagian tak kosong dari 𝑆 dari himpunan bilangan bulat
non-negatif memiliki anggota terkecil, yaitu terdapat bilangan bulat 𝑎 ∈
𝑆, sedemikian sehingga 𝑎 ≤ 𝑏 untuk setiap 𝑏 ∈ 𝑆.
Teorema : Sifat Archimedes