La distinció entre ciències formals i ciències fàctiques consisteix en el següent: les primeres només contenen enunciats analítics, mentre que les segones inclouen, a més a més, enunciats sintètics.