构建一阶谓词逻辑和有限域上多项式方程的同构