Dos caminos posibles: intuicionismo y formalismo.