Esa es la construcción formal de los naturales que garantiza su existencia como conjunto a la luz del desarrollo axiomático Zermelo-Fraenkel.