1·The universe of discourse consists of denumerably many individuals.
话语世界由许多个可数的个体组成。
2·In a finite universe of discourse, one can represent the assignments of predicates with arity n by n-dimensional arrays.
在有穷论域下,可以用n维数组来表示对n元谓词的赋值。