In predicate logic, what is a universe of discourse?
The set of all possible truth values
The set of all variables
The set of objects over which quantifiers range
The set of all valid formulas