El método de las ciencias formales.

Definiciones:

Corrección: que todos los teoremas demostrables en el cálculo sean leyes válidas del campo que se                          trata de formalizar ( si el calculo nos permite probar una ley inválida , sería un calculo                          incorrecto).
Consistencia: es la propiedad que tienen los sistemas formales cuando no es posible deducir                        una contradicción dentro del sistema. 
Completitud: que todas las leyes validas demostrables en el calculo  formal 8 si alguna no                         lo fuera sería incompleto)