Só sei que pra ``provar'' que o Deus de Santo Tomás existe você precisa do axioma da escolha irrestruto: logo, nos universos de Solovay não se prova que o Deus de Santo Tomás existe... (Mas talvez seja consistente com ;-)))
2009/7/18 Amauri Jr <[email protected]> > Olá a todos > > Existe alguma realação logica dentro DA idéia de Aristóteles? > > Abraços > Amauri > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
