second-order的翻译,读音

释义:

单词second-order书写

[计] 二阶逻辑; 二阶谓词演算