El supuesto es que, al aplicarse, tiene como consecuencia que los teoremas constituyan verdades universales, de vigencia general y con una consistencia interna que permite afirmar que la matemática es una ciencia exacta.