[martin__]

You might want to look into something called Constructivism:

https://en.wikipedia.org/wiki/Constructive_proof