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

Consistência da inconsistência???!!!!

Olá a todos,

   Desculpem incomodar vcs novamente com perguntas de lógica-matemática, 
metamatemática, teorema de godel, etc. Mas uma coisa me deixou realmente 
confuso.
   Pelo segundo teorema de godel, a sentença "ZFC é consistente" é 
independente de ZFC. Isto significa (se ZFC for consistente) que
ZFC + "ZFC é inconsistente" é consistente???

Rogério


_________________________________________________________________
Send and receive Hotmail on your mobile device: http://mobile.msn.com