Constructive Mathematics

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