Corrección, consistencia y completitud.

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

• Consistencia: es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema.

• Completitud: consiste en que, en un sistema dado, han de ser demostradas (es decir, inferidas de axiomas) todas las proposiciones verdaderas de la teoría.