Se observa que, de este modo, un número natural es un conjunto que contiene a todos los números naturales anteriores a él.