Olá Hermógenes,
> A interpretação sintática do teorema permanece inalterada.
>
> Na minha hulmide opinião, interpretações semâmticas do teorema, que
> apelam a noções semânticas como "verdade" ou alguma noção semântica de
> "negação", *não fazem o menor sentido*. Mesmo no caso clássico.
Imagino
Olá, Hermógenes. Muito obrigado pela resposta!
Uma pequena observação: nestes sistemas sem negação, não se trata apenas de
tratar a negação como conectivo derivado (def., p. ex., ¬A ≡ A → (1=0)),
mas de banir toda e qualquer "suposição não realizável" e, com isso, até
mesmo o raciocínio hipotét
Anderson Nakano escreveu:
> Boa tarde, pessoal.
Olá, Anderson.
>
> [...]
>
> 1. Como o primeiro teorema da incompletude poderia ser construído em
> sistemas formais da aritmética sem negação? Refiro-me, em particular,
> ao sistema introduzido por Krivtsov em "A Negationless Interpretation
> of
