Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie