Bell, Set Theory, 2005, p. 109. Sent from my iPhone
> On Jun 16, 2016, at 4:25 PM, 'Samuel Gomes' via LOGICA-L > <[email protected]> wrote: > > Oi Hermógenes, > > Como eu disse, tem gente melhor do que eu na comunidade pra discutir isso > (Doria, Rodrigo Freire, entre outros). > > Eu sempre pensei em incompletude a partir de um pouquinho de Aritmética. Para > a lógica de primeira ordem, sempre pensei > em termos da outra completude (a semântica). > > Seu argumento com variáveis proposicionais aparentemente procede, mas não > seria o caso > de se pensar em demonstrações/refutações do fecho universal de fórmulas que > tenham pelo menos algum símbolo relacional ou funcional ? > > Atés, > > []s Samuel > > > >> On Wednesday, June 15, 2016 at 2:18:53 PM UTC-3, Joao Marcos wrote: >> Partilho uma pergunta interessante, com respostas instrutivas: >> >> Is there a model of ZFC inside which ZFC does not have a model? >> http://math.stackexchange.com/questions/1826423/is-there-a-model-of-zfc-inside-which-zfc-does-not-have-a-model >> >> >> >> JM > > -- > Você recebeu essa mensagem porque está inscrito 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 [email protected]. > Para postar nesse grupo, envie um e-mail para [email protected]. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7463a84a-c180-4e43-90c5-58a0d675598e%40dimap.ufrn.br. -- 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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. 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/9525BB17-05DA-4964-98AF-12F4F1E2D7FC%40gmail.com.
