This definition has the conceptual advantage of relying only on the minimal foundations of the natural numbers: the existence of 0 and of successors.
Định nghĩa này có lợi thế là chỉ dựa vào những cơ sở tối thiểu của các số tự nhiên: sự tồn tại của 0 và của các phần tử tiếp sau.