Über die Unmöglichkeit der Mechanisierung der Mathematik. Gödels Unvollständigkeitssatz und philosophische Implikationen