In addition to the syntax of first-order logic, second-order logic includes many new sorts (sometimes called types) of variables.
除了一阶逻辑的语形之外，二阶逻辑包括了很多新种类（有时叫做类型）的变量。