It is often required that there be a decision procedure for deciding whether a formula is well-formed.
Συνήθως απαιτείται να υπάρχει μια διαδικασία που να αποφασίζει αν μια διατύπωση είναι καλά ορισμένη.