> "Por quê ?": se a pergunta foi essa, talvez você esteja confundindo > completude SEMÂNTICA (= "se é consistente, tem modelo") com > completude SINTÁTICA (="toda sentença pode ser provada ou refutada").
Mas no segundo sentido (assumindo que, para eliminar inteiramente a semântica desta conversa, por "refutação de S" estamos nos referindo à "demonstração de ~S") nem mesmo a própria teoria correspondente à *lógica clássica de primeira ordem* seria completa, né? JM -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lg_0OTLKSXWKyP0d18xV7z4h3cVBYu8QB%3DWxQ7sAe0yeA%40mail.gmail.com.
