second-order英式朗读美式朗读基本解释[计] 二阶逻辑; 二阶谓词演算上一个单词：second-normal form下一个单词：second-order asymmetric transformation