La ciencia formal es un conjunto de conocimientos racionales y coherentes.