【词语名称】二阶算术（erjiesuanshu）
【词语拼音】er jie suan shu
【词语读音】èr jiē suàn shù
【词语简拼】EJSS
【网络释义】 二阶算术(second order arithmetics)是递归论研究的内容之一。是刻画自然数理论的二阶形式理论。所使用的语言是二阶算术语言L2。它是在一阶算术语言L的基础上，增加二阶变元(即取值于函数或谓词的变量)及相应的量词而得。
【分字组词】二字组词 术字组词 算字组词 阶字组词
