How to Use Non-Constructive Methods in Mathematics

Even if you don't know whether something is true or false, it's true or false nonetheless. Braille became concerned about particular proof methods and wanted to restrict mathematics to purely constructive methods. There are still mathematicians who think that classical mathematics uses these kinds of non-constructive methods as problematic. You want to reconstruct some of the important theorems of mathematics and provide alternative proofs that are constructive.