Diferencia entre revisiones de «Número natural»

A este último postulado se le conoce también con el nombre de [[inducción matemática]]. Se viene utilizando de modo más o menos informal desde la antigüedad ([[Euclides]], [[Al-Karaji]]) y fue definida con más precisión por [[Francesco Maurolico]], [[Jakob Bernoulli]], [[Blaise Pascal|Pascal]] y [[Fermat]]. Peano incorporó la inducción como un axioma de su sistema, como único medio para poder demostrar propiedades, incluso muy básicas, de los números naturales. Sin embargo, el principio de inducción matemática es más complejo que el resto de los axiomas. En términos de [[Lógica matemática|lógica]], es el único clasificable como [[lógica de segundo orden]], en tanto que los demás axiomas son de [[lógica de primer orden]]. Se han propuesto sistemas axiomáticos más débiles, que prescinden del principio de inducción ([[aritmética de Robinson]]). PUTOS TODOS