b'\n_START_ARTICLE_\nN\xc3\xbamero natural\n_START_PARAGRAPH_\nEn matem\xc3\xa1ticas, un n\xc3\xbamero natural es cualquiera de los n\xc3\xbameros que se usan para contar los elementos de ciertos conjuntos,\xe2\x80\x8b\xe2\x80\x8b como tambi\xc3\xa9n en operaciones elementales de c\xc3\xa1lculo._NEWLINE_Son aquellos n\xc3\xbameros naturales los que sirven para contar elementos por lo que son enteros por ejemplo: 1,2,3,4,5,6,7,8,9\xe2\x80\xa6_NEWLINE_Por definici\xc3\xb3n convencional se dir\xc3\xa1 que cualquier elemento del siguiente conjunto, \xe2\x84\x95 = {1, 2, 3, 4, \xe2\x80\xa6}, es un n\xc3\xbamero natural.\xe2\x80\x8b De dos n\xc3\xbameros vecinos cualesquiera, el que se encuentra a la derecha se llama siguiente o sucesivo,\xe2\x80\x8b por lo que el conjunto de los n\xc3\xbameros naturales es ordenado e infinito._NEWLINE_El conjunto de todos los n\xc3\xbameros naturales iguales o menores que cierto n\xc3\xbamero natural , es decir, el conjunto , se llama segmento de una sucesi\xc3\xb3n natural y se denota  o bien .\xe2\x80\x8b\n_START_SECTION_\nConstrucciones axiom\xc3\xa1ticas\n_START_PARAGRAPH_\nHist\xc3\xb3ricamente, se han realizado propuestas para axiomatizar la noci\xc3\xb3n habitual de n\xc3\xbameros naturales, de entre las que destacan las de Peano y la construcci\xc3\xb3n a partir de la teor\xc3\xada de conjuntos.\n_START_SECTION_\nVersi\xc3\xb3n de Bush-Obreanu\n_START_PARAGRAPH_\nEl sistema de Peano ha sido simplificado.\xe2\x80\x8b\n_START_SECTION_\nSustracci\xc3\xb3n o resta con n\xc3\xbameros naturales\n_START_PARAGRAPH_\nAs\xc3\xbamase que \xe2\x84\x95 = {0, 1, 2, 3, ...} y sea H = {(m, n) / m, n \xe2\x88\x88 \xe2\x84\x95; m \xe2\x89\xa5 n}, sea g una aplicaci\xc3\xb3n de H en \xe2\x84\x95, tal que g(m, n) = m - n = d \xe2\x86\x94 m = d + n, donde m, n est\xc3\xa1n en H y d est\xc3\xa1 en \xe2\x84\x95. A la aplicaci\xc3\xb3n g de H sobre \xe2\x84\x95 se llama sustracci\xc3\xb3n  o resta en \xe2\x84\x95. La diferencia d = m - n, solo es posible en el caso que m \xe2\x89\xa5 n.\n_START_SECTION_\nTopologizaci\xc3\xb3n de N\n_START_PARAGRAPH_\nEn el conjunto \xe2\x84\x95 de los naturales cabe la topolog\xc3\xada discreta y la cofinita, tambi\xc3\xa9n alguna topolog\xc3\xada de orden.\xe2\x80\x8b'