Giả sử A là tập con của tập hợp các số nguyên dương sao cho
(I) k ∈ A
(II) n ∈ A ⇒ n + 1 ∈ A, ∀n ≥ k
Lúc đó, ta có:
(I) k ∈ A : số nguyên dương k thuộc tập A.
(II) n ∈ A ⇒ n + 1 ∈ A, ∀n ≥ k : nếu số nguyên dương n(n≥k) thuộc tập A thì số nguyên dương đứng ngay sau nó (n+1) cũng thuộc A. Mọi số nguyên dương lớn hơn hoặc bằng k đều thuộc A.