22
Xây dựng tự nhiên
Các số tự nhiên bao gồm 0 được định nghĩa chính thức dưới dạng tập hợp, theo cách sau : Số 0 được định nghĩa là tập hợp trống, {} Với n ≥ 0, số n +1 được định nghĩa là n ∪ { n }. Kết quả là, n …