前束範式存在定理(existence theorem of prenex normal form)謂詞演算的重要定理之一該定理斷言:謂詞演算的每一個公式都有與之等價的前束範式。 前束範式存在定理的證明是能行的，即證明本身給出了求公式前束範式的步驟.但是，一個公式的前束範式不具有惟一性.
