definición de corrección y completitud

1)Corrección: Que todos los teoremas demostrables en el cálculo sean leyes válidas, esto implica que sean consistentes.
2)Completitud: Todas las leyes válidas sean demostrables en el cálculo formal.