A Methodological Characterization of Constructive Mathematics