文络智义词库

2026-07-13 08:41:19

二阶算术

èr jiē suàn shù · ㄦˋ ㄐㄧㄝ ㄙㄨㄢˋ ㄕㄨˋ

字母
er jie suan shu
首字母
ejss
注音符号
ㄦ ㄐㄧㄝ ㄙㄨㄢ ㄕㄨ
注音首符
ㄦㄐㄙㄕ

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

拆字

相关

文络智义词库,您的专属汉语词典。海量词条,精准释义,成语、近义词、反义词一键查询。专业友好的界面,让词语学习更高效。

热门组词

链接