Discusión:Examen:Lógica matemática

Yo pondria un problema de teoria de modelos por ejemplo, Mostrar que la propiedad " ser un campo de caracteristica 0" no es finitamente axiomatizable, ese si que es un un buen ejercicio de lógica

saludos