二阶算术
概述
二阶算术(second order arithmetics)是递归论研究的内容之一。是刻画自然数理论的二阶形式理论。所使用的语言是二阶算术语言L2。它是在一阶算术语言L的基础上，增加二阶变元(即取值于函数或谓词的变量)及相应的量词而得。
2 扩展释义
二阶算术(second order arithmetics)是递归论研究的内容之一。是刻画自然数理论的二阶形式理论。所使用的语言是二阶算术语言L2。它是在一阶算术语言L的基础上，增加二阶变元(即取值于函数或谓词的变量)及相应的量词而得。
9 词语组词
相关词条
本词条最后更新于 2026-07-13 13:58:07
友情链接
抓书网
短词网
书号查询
星云网
成都天气预报30天是什么意思？
海口天气预报30天是什么意思？
查看吉林天气-成都一周天气预报 查看吉林天气 吉林是什么意思？
分离共晶体 fēn lí gòng jīng tǐ是什么意思？
父债子偿是什么意思？
工具盒 gōng jù hé 阅读全文是什么意思？
学生检讨书旷课是什么意思？
惠州特产是什么意思？
青铜葵花读后感50字(热门23篇)是什么意思？
SHA256编码 在线免费SHA256编码工具是什么意思？
上林八角颜色呈棕红或褐红色，气味浓郁芳香，果形角瓣粗短、果壮肉厚。是什么意思？
五年级日记是什么意思？
维固力是什么意思？
SEEPAGE PRENTION是什么意思？
大连天气预报30天是什么意思？
嫞是什么意思？