[obm-l] =?iso-8859-1?Q?Re:_=5Bobm-l=5D_Defini=E7=E3o_dos_n=FAmeros_naturais?=

[S�rgio Ricardo de Souza]

Andr� T.   N�o entendi muito bem sua defini��o. J� recorreu aos axiomas de Peano?: (1. Zero pertence a N. 2. Se a pertence a N, o sucessor de a pertence a N. 3. Zero n�o � sucessor de nenhum outro elemento de N. 4. Dois elementos de N cujos sucessores s�o iguais, s�o eles pr�prios iguais. 5. Se um subconjunto S de N cont�m o zero e tamb�m o sucessor de todos os elementos de S, ent�o N est� contido em S.)   R�ka.   ----- Original Message ----- From: Wagner To: [EMAIL PROTECTED] Sent: Friday, November 01, 2002 9:14 PM Subject: [obm-l] Defini��o dos n�meros naturais Oi para todos!   Qual a defini��o de N? Pensei em N={Xn pertence a N,  X0 = 0, X(n+1) = Xn + 1, n >= 0  , n � real , Xn � diferente de intp.(Xn), para todo Xn n�o definido pelas regras anteriores} Em que intp.(Xn) � a interpola��o do valor de Xn atrav�s dos valores de X j� definidos. Mas essa defini��o (n�o sei se � a mais correta) depende da defini��o de n�mero real. Existe uma defini��o de N que n�o envolva a defini��o de R?   Andr� T.