Na verdade, como diz o Décio, dá pra construir um grupo que não cabe dentro de ZF.
Sent from my iPhone On 26/05/2013, at 13:59, Décio Krause <deciokra...@gmail.com> wrote: > Mas que tal se usássemos ZF de segunda ordem? L-S não poderia ser invocado... > Como se vê, o tema é legal e sutil. > Abraços > Décio > > > > ------------------------------------------------------ > Décio Krause > Departamento de Filosofia > Universidade Federal de Santa Catarina > 88040-900 Florianópolis - SC - Brasil > http://www.cfh.ufsc.br/~dkrause > ------------------------------------------------------ > > Em 25/05/2013, às 13:26, Joao Marcos <botoc...@gmail.com> escreveu: > >>> (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 > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
