Sim, para mostrar que um enunciado absoluto para L em ZF vale em ZF você pode
usar o axioma da escolha *global*, além de GCH, diamante, etc. E parece muito
difícil encontrar um enunciado "natural" em teoria da computação que não seja
absoluto para L.
Abraço
Rodrigo
Enviado do meu iPhone
... Obrigado, Doria, Finger e Rodrigo,
Após parar para pensar no tal resultado de Absoluteness que o Rodrigo
comentou (grato novamente !),
vejo que, na verdade, para mim a situação é até melhor do que eu pensava.
A mensagem de Rodrigo diz:
"Você teria que procurar um enunciado que não seja