A consequence is that all types can be written in a form that places all quantifiers at the outermost (prenex) position.
एक परिणाम यह है कि सभी प्रकारों को एक रूप में लिखा जा सकता है, जो सभी क्वान्टीफायर्स (quantifiers) को सबसे बाहरी (प्रिनेक्स) स्थिति में रखता है।