ciencias formales

Las ciencias formales son conocimientos abstractos que tienen connotaciones lógicas mentales pero no son tangibles que son comprobables en el método deductivo.
ejemplos de ellas son:
Matemáticas
Lenguaje
Lógica