Olás,
Minha resposta à pergunta do Decio, de sopetão, seria: um grupo
deveria ser um conjunto que satisfaz uma fórmula (de primeira ordem,
com apenas uma variável livre, etc.) que diz
"x é grupo"
(os três axiomas de grupos; se preferirmos, pensamos numa terna
(x,.,e) e dizemos que a terna é o grupo, etc.)
portanto seria apenas um conjunto, não um modelo de ZF.
(Como conjunto, portanto "membro do universo", os axiomas de ZF atuam
nele, obviamente, mas dizer que ele é um grupo é mais ou menos como
dizer que um número natural é par ou ímpar, seria uma propriedade de
um objeto da teoria)
Ou seja: modelos de grupos seriam "apenas" tipos especiais de conjuntos.
Mas essa é só uma visão "prática", inclusive acredito que seja assim
que os "set theorists" pensam (eu pelo menos penso assim), mas não
tenho bagagem filosófica para defendê-la. 8-)
Atés,
[]s Samuel
----------------------------------------------------------------
Universidade Federal da Bahia - http://www.portal.ufba.br
_______________________________________________
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
