CORRECCIÓN, COMPLETITUD Y CONSISTENCIA
*Corrección: Los teoremas demostrables en el cálculo son válidos.
*Completitud: Las leyes son demostrable con un cálculo formal.
*Consistencia: Propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema.
No hay comentarios:
Publicar un comentario