Darum hilft es in der Philosophie der Mathematik nichts, Beweise in neue Formen zu bringen || umzugießen || umzuformen. Obwohl hier eine starke Versuchung liegt. Damit soll nicht gesagt sein