definición de 1) Corrección y consistencia, y 2)Completitud:. Tened en cuenta que nos estamos refiriendo a los requisitos fundamentales de las ciencias formales.

1)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 la materia que resiste sin romperse ni deformarse fácilmente

2)Completitud:
En metalógica, la 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.​ Es decir, cuando el conjunto de las verdades lógicas del sistema es un subconjunto del conjunto de teoremas.