> (Nao sei se G é candidato a modelar ZFC; nao vejo porque, por exemplo, valha > o Axioma da Substituicao com os quantificadores restritos a G, mas é algo a > se pensar, claro)
Queria acrescentar que eu acho que não é um candidato. Eu só achei que o "argumento da cardinalidade" formulado antes não era convincente, pois os modelos de ZF afinal não precisam ser "grandes"... E, claro, você tem razão em dizer que "existem grupos para cada cardinalidade" (Löwenheim-Skolem na forma *ascendente* poderia ser invocado, neste caso, mesmo se não conhecêssemos os exemplos que você sugeriu?). Abraços, JM -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
