> Eu suma, preciso encontrar uma maneira de provar que todo ordinal não > pertence a si próprio, sem usar indução fraca ou forte nos ordinais, > tampouco o princípio da boa ordem, os quais ainda não estão disponíveis.
Você tem certeza de que o "princípio da boa ordem" (equivalente ao axioma da escolha) não está disponível? Seria mesmo surpreendente se isto fosse o caso, já que mesmo teorias de conjuntos não-bem-fundados, tal como ZFA, incluem de fato o axioma da escolha... Algumas demonstrações que tradicionalmente usam indução, no entanto, precisam ser substituídas por demonstrações por coindução. Confira: http://plato.stanford.edu/entries/nonwellfounded-set-theory/ JM -- http://sequiturquodlibet.googlepages.com/ (in absentia, post-doc in cives vindobonensis) _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
