Die Unentscheidbarkeit der Prädikatenlogik

Es gibt keinen Algorithmus, der angesetzt auf eine beliebige Formel ja ausgibt, genau dann wenn die Formel allgemeingültig ist.

Die Menge aller allgemeinfütligen Formeln der Prädikatenlogik ist unentscheidbar.

Wir folgern daraus dass die Menge der unerfüllbaren Formeln unentscheidbar ist. Diese Folgerung basiert auf der Negation von ”F ist allgemeingültig”.