Besonderhede van voorbeeld: 5263197710205005453

English

This is because Henkin semantics are almost identical to many-sorted first-order semantics, where additional sorts of variables are added to simulate the new variables of second-order logic.

Chinese

这是因为Henkin语义几乎等同于多种类一阶语义,它通过增加额外的变量种类来模拟二阶逻辑的新变量。