Re: [obm-l] Axiomas de Peano

["Laurito Alves" <lauritoalves@xxxxxxxxxxx>]

Vinícius,


Seja V = {a, 1, 2, 3, 4 ... } e s(x) = a, se x=a; senão s(x) = x+1

Esse conjunto V não satisfaz o último postulado de Peano pois existe o 
subconjunto X = { 1 , 2, ... } de V tal que s(x) está em X para todo x de X 
mas X não é V.

Logo, V não é N.


Laurito M. Alves




_________________________________________________________________
Get your FREE download of MSN Explorer at http://explorer.msn.com/intl.asp.

=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
O administrador desta lista é <nicolau@mat.puc-rio.br>
=========================================================================