Completude da Geometria e Teorema de Godel

["Rogerio Fajardo" <rogeriofajardo@xxxxxxxxxxx>]

Ol�,

  O que diz o teorema da completude da geometria euclideana? Alguns livros 
chamam de categoricidade, ou coisa parecida, e parece que diz que todos os 
modelos (para geom. euclideana) s�o isomorfos entre si. Mas isso n�o implica 
que n�o existe senten�as independentes na geom. euclideana? E isso n�o 
contraria o Teorema de Godel (afinal, na geometria eu posso expressar a 
aritm�tica)?

Rog�rio


_________________________________________________________________
Join the world�s largest e-mail service with MSN Hotmail. 
http://www.hotmail.com