词语二阶算术的详细解释,二阶算术的拼音及基本释义

二阶算术

【词语拼音】èr jiē suàn shù

【词语繁体】二階算術

【词语结构】ABCD式词语

【词语字数】四字词语

【网络解释】
二阶算术(second order arithmetics)是递归论研究的内容之一。是刻画自然数理论的二阶形式理论。所使用的语言是二阶算术语言L2。它是在一阶算术语言L的基础上,增加二阶变元(即取值于函数或谓词的变量)及相应的量词而得。