The things across which the quantifiers of a formal theory may range: as it might be, the points on a line, or sets, or physical objects, or whatever else we are treating. The universe of discourse may, but also may not, form a set: for instance, the universe of discourse of set theory includes any set, but there is no set of all sets.