Abstract: The aim of this paper is the axiomatization for first order predicate calculus formal system VULh[0.75,1] based on first-level universal AND operator. 13y introducing the universal quantifier and existential quantifier, the predi- cute calculus formal deductive system VULh[0.75,1], based on 1-level universal AND operator according to propositional calculus formal deductive system VULh[0.75,1] of universal logic was built up, moreover, the soundness and deduction the- orems of system VULh[0.75,1], a were proved.

Key words: Universal logic, Predicate calculus formal system, Universal and operator