Mathematik/Logik/Vollständigkeitssatz/Aufgabe
Erscheinungsbild
Warum sind mathematische Beweise schwierig, obwohl sie (zumindest für erststufige Aussagen) aufgrund des Vollständigkeitssatzes
mit einem sehr begrenzten und übersichtlichen formalen Regelwerk durchgeführt werden können?