Weyl and Brouwer demonstrated that a substantial portion of classical analysis can be reconstructed ...