L.E.J. Brouwer formulated mathematical intuitionism, proposing that mathematical validity requires constructive finite procedures rather than non-constructive axioms