La axiomatización y los números naturales ii
Como construir el orden a partir de los axiomas de peanoAl intentar demostrar los teoremas 2.3 - 2.5 en una teoría de números naturales basada sólo en los axiomas de PEANO, se ve fácilmente que las demostraciones dadas se trasladan a tal teoría, después de haber introducido una relación de orden en...
- Autores:
-
Burger, Ewald
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1965
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/43519
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/43519
http://bdigital.unal.edu.co/33617/
- Palabra clave:
- Axiomas de Peano
números naturales
teoría de cadenas
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| Summary: | Como construir el orden a partir de los axiomas de peanoAl intentar demostrar los teoremas 2.3 - 2.5 en una teoría de números naturales basada sólo en los axiomas de PEANO, se ve fácilmente que las demostraciones dadas se trasladan a tal teoría, después de haber introducido una relación de orden entre los números naturales tal que o sea el elemento mínimo de N respecto a este orden y n' sea el mínimo elemento de N mayor que n. Así resulta el problema de definir el orden natural de N basándose únicamente en los axiomas de PEANO y no utilizando los fundamentos que hemos dado de los números naturales en la teoría de conjuntos. Existen varias soluciones para este problema: el método de DEDEKIND es el más directo y se basa en la teoría de cadenas |
|---|