Hola queria saber si mi razonamiento es correcto:
Siendo X consistente maximal:
X es CM => X es teoria => X = cons(X) => cons(X) es CM => X es completo
Conclusión:
Si X es CM => X es completo
Muchas gracias
Hola, si: un conjunto consistente maximal tiene que ser completo. La
demostración que das está bien. El primero y el último paso no son
triviales y estaría bien aclarar de donde salen.
Saludos,
--
Juan Diego Campo
Instituto de Computación
Facultad de Ingeniería - UdelaR
demostración que das está bien. El primero y el último paso no son
triviales y estaría bien aclarar de donde salen.
Saludos,
--
Juan Diego Campo
Instituto de Computación
Facultad de Ingeniería - UdelaR