chapter  5
Language Extensions with Function Symbols 1
Pages 11

These developm ents remain in effect if Lp is obtained from L by extending it w ith not only one but w ith a whole set of new predicate sym bols; let U p be the set of the definitions up of these predicate sym bols. Consider now an axiom system G consisting of

a set G 0 of L -sentences the definitions U p a set Gj of Lp-sentences .