文献[1]所述的Herbrand定理，要求T是一个没有非逻辑公理的理论。
The Herbrand 's Theorem given in [ 1 ] requires that T should be a theory without any nonlogical axioms .
非逻辑公理