Besonderhede van voorbeeld: 4464924916927485069

English

Unlike the grammar for wffs, there is no guarantee that there will be a decision procedure for deciding whether a given wff is a theorem or not.

Dutch

Er is echter geen sprake van een beslisprocedure met behulp waarvan bepaald kan worden of een string wel of geen stelling is, zoals in formele grammatica het geval is.