Oskar Becker und die Philosophie der Mathematik