grundlegendes Theorem der mathematischen Logik, welches das inhaltliche mathematische Folgern mit Hilfe syntaktischer ( formaler) Beweisregeln vollständig charakterisiert.

Formale Beweisregeln benutzen nur die syntaktische Gestalt der Voraussetzungen und der zu beweisenden Behauptung, jedoch nicht deren inhaltliche Bedeutung (Beweismethoden).