Theoretischer Artikel über die Bedeutung des formalen Arbeitens in der Mathematik und dessen Anwendungen. Der Text erläutert, wie formales Arbeiten nicht nur ein mechanisches Verfahren ist, sondern eine produktive Denkweise, die beim Problemlösen, Erklären, Entdecken und Gestalten von Artefakten zentrale Kraft entwickelt.