Prenex-formula - További nyelvek