Diferencia entre revisiones de «Consistencia (lógica)»

Copio contenido desde Demostración de consistencia para fusión
Copio contenido de Consistencia (lógica) para fusión
(Sin diferencias)