... Humm... Nâo tenho muita experiência com Teoria dos Conjuntos
construtiva "pra valer" (ir lá dentro e mexer mesmo nesses sistemas, pro
tipo
de coisa que eu faço o "construtivo" é simplesmente ZF mas aí eu mantenho o
Terceiro Excluído ainda), mas se assumimos que todo subconjunto infinito
tem um subconjunto enumerável infinito a idéia seria fazer o argumento de
Cantor dentro desse subconjunto enumerável e obter aí o subconjunto que não
pertence à imagem da função fixada de X em Partes de X; agora como
eliminar a análise de casos ou a prova
por contradição eu teria que pensar um momento, não vejo como agora.
Até
[]s Samuel
Em quinta-feira, 4 de março de 2021 às 16:52:52 UTC-4, Joao Marcos escreveu:
> > Aí que vem a única análise de casos ("uso do Terceiro Excluído",
> concordo...)
>
> E por falar em Terceiro Excluído, Samuel, você saberia explicar em
> termos pedestres até onde conseguiríamos levar o argumento da
> diagonalização, digamos, em *CZF*, se assumirmos o axioma segundo
> o qual todo conjunto é subcontável?
>
> []s, Joao Marcos
>
>
> --
> http://sequiturquodlibet.googlepages.com/
>
--
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 ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/3439ca50-4be9-49ad-b22b-86f5cea76976n%40dimap.ufrn.br.
