Constructive Mathematics

A constructive appraoch to mathematics is

We can always find examples or counter-examples, Every existence result has an actual example. Given satisfied for-all quantifications. Eg. Type Theory

Related to Curry-Howard Correspondance