Significado de las palabras:

• Corrección: es una característica de las operaciones lógicas y denota que dichas operaciones están en consonancia con las leyes y reglas de la lógica.
• Completitud: Requisito que se presenta a las teorías estructuradas; consiste en que, en un sistema dado, han de ser demostradas todas las proposiciones verdaderas de la teoría.
• Consistencia: es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema.