I could not agree more. I am on my second try to master mathematics (30 years after the first), and I can see, understand and appreciate mathematics mainly from the constructive standpoint.

Nothing wrong with classical mathematics, as also used in this roadmap. Having axioms and drawing logical conclusions or searching proof does just not click for me.

Give me 0: N and suc: N -> N and I see how to construct stuff. Induction makes sense right away as a case distinction on those two constructors.