Des Proklus Diadochus Philosophische Anfangsgründe der Mathematik