Mathematische Tippfehler korrigiert und Infos zu prädikativer Mathematik (danke an Anna-Laura und Chris!)