We often let variables represent arbitrary mathematical objects. However, as we have seen, object variables or free variables (as opposed to statement variables) lead to problems in logic.
We have to be careful with quantified predicates because it is (seemingly) possible to violate the Law of Contradiction (see Basic Tautology 4 in Example 1.4.1).