[obm-l] =?iso-8859-1?Q?Defini=E7=E3o_dos_n=FAmeros_naturais?=

[Wagner]

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.