Besonderhede van voorbeeld: 4682517598933151603

English

In Henkin semantics, each sort of second-order variable has a particular domain of its own to range over, which may be a proper subset of all sets or functions of that sort.

Chinese

在Henkin语义中,每个二阶变量种类都有它自己取值的特定论域,它可以是所有此类的所有集合或函数的真子集。