Bem,depende.Se voce ja sabe o que e conjunto,voce pode demonstrar os Axiomas de Peano,bem à la Dedekind.Senao voce pode usar os axiomas de Peano como fatos conhecidos e a partir dai mandar bala. De so uma olhada
1)Cada natural tem um unico sucessor natural.
2)Numeros de mesmo sucessor sao iguais.
3)Existe um elemento,o 1,que nao tem antecessor,ou seja,nao e sucessor de ninguem.
4)Todo subconjunto de naturais tem um minimo.
Wagner <timpa@uol.com.br> wrote:
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.