A consequence is that all types can be written in a form that places all quantifiers at the outermost (prenex) position.
Μία συνέπεια αυτού είναι ότι όλοι οι τύποι μπορούν να γραφούν σε μια μορφή στην οποία όλοι οι ποσοδείκτες βρίσκονται στην πιο εξωτερική (prenex) θέση.