Walter Carnielli <walter.carnie...@gmail.com> escreveu:

>
> [...]
>
> Para os estudantes iniciantes compreenderem [...] o Axioma da Escolha
> não é [...] falso [...]

Me parece que "estudantes iniciantes", dependendo do seu grau de
doutrinação em Lógica (especialmente lógica clássica ensinada como
"teoria do bom raciocínio"), tenderiam a entender a afirmação acima como
equivalente a "o Axioma da Escolha é verdadeiro" e estariam assim
autorizados a solicitar-lhe, como justificativa dessa alegação, uma
demonstração do *Axioma* da Escolha, visto que "axioma" aqui não pode
ser tomado como verdade óbvia/evidente (conforme você mesmo escreveu).

-- 
Hermógenes Oliveira

-- 
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 postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
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/87pogvnbav.fsf%40camelot.oliveira.

Responder a