Mathematik/Logik/Vollständigkeitssatz/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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?
Eine Lösung erstellen