Erkundung formaler Systeme, Gödels Unvollständigkeitssätze, Kategorientheorie und der philosophischen Fragen zur Wirksamkeit der Mathematik in den Naturwissenschaften. In Vorbereitung. [REVIEW NEEDED]