El metodo de las ciencias formales

Imagen
Corrección: Todos los teoremas demostrables sean leyes validas del campo que se trata de formalizar.
   -La corrección de un calculo implica su consistencia.
      -No existirá ninguna contradicción.

Completitud: Todas las leyes validas sean demostrables en el calculo formal.

Comentarios

Entradas populares de este blog

El método de las ciencias naturales