Karena \(1\in\Z^+\text{,}\) himpunan itu tidak kosong; menurut asumsi, himpunan itu terbatas di atas. Aksioma kelengkapan menjamin adanya \(M=\sup(\Z^+)\text{,}\) yaitu batas atas terkecilnya.