[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[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.