If a theory does not have quantifier elimination, one can add additional symbols to its signature so that it does.
Αν μια θεωρία δεν έχει απαλοιφή ποσοδεικτών, μπορούν να προστεθούν επιπλέον σύμβολα στην υπογραφή της ώστε να έχει.