Mathematische Beweisverfahren der Allgemeinen Relativitätstheorie