Beyträge zu einer begründeteren Darstellung der Mathematik