----- Original Message ----- 
  
  
  Sent: Friday, November 01, 2002 11:59 
  PM
  Subject: [obm-l] Re: [obm-l] Definição 
  dos números naturais
  
  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 ----- 
  
    
    
    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.