Rodrigo Freire <freires...@gmail.com> escreveu:
[...] O vocabulário da teoria de grupos é exclusivamente matemático, e os axiomas são tomados como determinantes exaustivos das noções matemáticas envolvidas (operação de grupo), muito mais que no caso da aritmética.
Não sei se compreendi muito bem a analogia. Normalmente, a noção de grupo é definida como *uma* operação sob um conjunto de elementos que satisfazem determinados axiomas. Porém, diversas operações *distintas* satisfazem os axiomas de grupo. Em que sentido poderíamos dizer que os axiomas determinam exaustivamente a operação? Em contraste, você conseguiria ver como os axiomas de AP determinariam exaustivamente (ou pelo menos, possuem a pretensão de determinar exaustivamente) a noção de número natural? -- Hermógenes Oliveira -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/20170703143740.Horde.9xe98xEwRy44Xs6N4kGOSVa%40webmail.uni-tuebingen.de.