universe of discourse

(logic) The set of all entities over which quantifiers—including "for all" and "there exists"—range.

日本語の意味

論理学において、量化子（「全て」や「存在」）が作用する全ての対象、すなわち『論域』を指す。 / 論理的議論で参照される全ての個体や実体の集合、つまり対象となる全体的領域。

Before evaluating the formula, the logician defined the universe of discourse to include only natural numbers.

式を評価する前に、論理学者は論域を自然数のみが含まれるように定義した。

意味（1）

(logic) The set of all entities over which quantifiers—including "for all" and "there exists"—range.

universes of discourse

（ plural ）