Oi Léo!
Eu tenho preferido trabalhar com "quantificadores limitados", tipo
isso aqui - ∀a∈A.P(a) - e traduzir os "quantificadores ilimitados",
como isso aqui - ∀b.Q(b) - pra quantificadores limitados, às vezes
usando um "conjunto universo" U, que na verdade não é um conjunto...
Dá pra fazer isso com o seu axioma? A tradução dele seria isso aqui?
∀x∈U. ((∃x) ↔ (x=x) ↔ (x∈x))
Eu não consegui parsear o seu axioma, e o "Look inside!" da Amazon
mostra poucas páginas...
[[]],
Eduardo
On Sun, 6 Feb 2022 at 20:29, Léo Mota <lcmota...@gmail.com> wrote:
> Boa noite, gostaria de usar este espaço para divulgar meu trabalho
> recentemente publicado na amazon:
>
> Fundamentos Lógicos: relacionando linguagem, lógica e matemática
> <https://www.amazon.com/dp/B09QNN8BFS/ref=cm_sw_r_awdo_navT_g_W2DZRZ70S1P1WE010K3X>
>
> Uma das ideias principais presentes nesta obra é propor a seguinte
> sequência de equivalências:
>
> ∃x <-> x=x <-> x∈x
>
> Este fato nos diz que o Paradoxo de Russell refere-se a um x inexistente,
> isto implica na invalidade dos dos teoremas de Gödel que utilizam o
> paradoxo do mentiroso.
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica <logica-l@dimap.ufrn.br>
> ---
> Você recebeu essa mensagem porque está inscrito 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 logica-l+unsubscr...@dimap.ufrn.br.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/f6a979e4-110a-404f-a5a5-d99dd8b0f89an%40dimap.ufrn.br
> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/f6a979e4-110a-404f-a5a5-d99dd8b0f89an%40dimap.ufrn.br?utm_medium=email&utm_source=footer>
> .
>
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
<logica-l@dimap.ufrn.br>
---
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 logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6iXXWjc69s5C6sq5-CR%2BsXJ-0Omn6wn3HHApx4gbbLMLw%40mail.gmail.com.
