Los limites de la caverna

1.- Definir:
a.) Corrección: El estudio de a lógica como la ciencia.
b.) Consistencia: Propiedad que tienen los sistemas formales de no poder crear una contradicción del mismo.
c.) Completitud: El conjunto de las verdades lógicas del sistema lógicas de un sistema es un subconjunto del conjunto de teoremas