Números Naturales
Se hizo la luz! Los construimos a partir de los axiomas del Peano^[Axiomas del Peano] y la función sucesor^[Funcion Sucesor]. Después, la relación
Cabría dedicar una discusión solamente al axioma 5, la inducción. Una de las formas de demostrar más importantes en la facultad.^[Principio de Induccion]
Pero ahora que? Los naturales no son simplemente elementos, se les contribuye ciertas propiedades. Es claro que la función sucesor describe la propiedad de contar sucesivamente. ¿Pero que pasa con suma y el producto? Que describe con la suma?^[Suma en los Naturales] y con producto?^[Multiplicacion en los Naturales] Estas operaciones fundamentas por el teorema de recursión^[Teorema de Recursion]
Aunque en hasta Teoría de Conjuntos justificamos y demenuzamos