El oponente principal era la escuela del intuicionismo, liderada por L.