redmary41 redmary41 27-05-2023 Mathematics contestada What is the meaning of "all free variables of a formula ϕ(u1, . . . , un) are among u1, . . . , un"?