Definición de corrección, consistencia y completitud.

• El término corrección hace mención al accionar y a los resultados de corregir. Este verbo, por su parte, refiere a rectificar o revertir un fallo o un error.
• Consistencia es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema. Es decir, dado un lenguaje formal y un aparato deductivo  no es posible deducir una formula y su negación.
• Completitud  Propiedad de un sistema lógico por la que cualquier expresión cerrada es derivable o refutable dentro del mismo sistema.

(Bibliografia: https://es.thefreedictionary.com/completitud 

                      https://es.wikipedia.org/wiki/Consistencia_(l%C3%B3gica)

                      https://definicion.de/correccion/   )