... Pelo menos para a parte do Axioma da Escolha, o Axioma da Escolha Enumeravel já dá conta do serviço...
O Dicionário Aurélio também assume essa mesma porção de princípio de escolha que o Guiness. A definição de conjunto infinito que tem no Aurélio é: que tem bijeçao com uma parte própria ! Isso é equivalente, em ZF, a possuir um subconjunto infinito enumeravel (= ser comparável com aleph_0, com aleph_0 por baixo, nos termos do comentário do post no site do Guiness). ... Feliz Natal a todos, []s Samuel -- 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/b54d8800-4f48-408b-bf4f-708882fc676c%40dimap.ufrn.br.