Las ciencias formales son aquellas que no pueden comprobarse experimentalmente en la realidad.