Foundations of Constructive Mathematics