La corrección supone la aprobación de una ley válida. Si los teoremas demostrables en el cálculo permitieran probar una ley inválida,ese cálculo sería incorrecto. La consistencia implica la imposibilidad de contradicción, pues es imposible que doa leyes válidas sean una la negación de la otra. La completitud se refiere a que toda ley válida sea demostrable en el cálculo formal. Si alguna no lo fuera, el cálculo sería incompleto
Blog de Filosofía de Alonso F. de Humanidades y Sociales.Asociado a: lacriadatracia.blogspot.com