Die Innenwelt der Mathematik. Zur Kultur und Praxis einer beweisenden Disziplin