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
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