Hay una distinción fundamental entre las ciencias formales y las fácticas. Las ciencias formales, como las matemáticas y la lógica, no dependen de la correspondencia con la realidad empírica, sino que se enfocan en la coherencia interna de sus enunciados.