Etymology
Today it means: Not prenex. Full definition →
From non- + prenex.
Etymology from Wiktionary, CC BY-SA 4.0.