全部

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元谓词的赋值。