Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie