El Método de las Ciencias Formales

Definiciones

Corrección: Modificación que se hace en una cosa o a una persona para corregir sus faltas, errores, defectos o imperfecciones.

Consistencia: Cualidad de lo que es estable, coherente y no desaparece fácilmente.

Completitud : En metalógica, la completitud o completitud semántica es la propiedad metateórica que tienen los sistemas formales cuando todas las fórmulas lógicamente válidas (todas las verdades lógicas) del sistema son además teoremas del sistema.​