Des Proklus Diadochus philosophische Anfangsgründe der Mathematik