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
