Corrección y consistencia.

Corrección: Todos los teoremas demostrables en el cálculo sean leyes válidas del campo que se trata de formalizar (pues el cálculo nos permitiera probar una ley inválida, sería un cálculo incorrecto).
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 (axiomas y reglas de inferencia), no es posible deducir una fórmula y su negación. La existencia de un modelo implica que una teoría lógica es consistente.
Completitud: Todas las leyes válidas sean demostrables en el cálculo formal. (si alguna no lo fuera, el cálculo seria incompleto)