Las ciencias formales son, por lo tanto, disciplinas a priori y, debido a esto, existe un desacuerdo sobre si constituyen realmente una ciencia.