二阶算术的网络释义
二阶算术(second order arithmetics)是递归论研究的内容之一。是刻画自然数理论的二阶形式理论。所使用的语言是二阶算术语言L2。它是在一阶算术语言L的基础上,增加二阶变元(即取值于函数或谓词的变量)及相应的量词而得。
繁体字转换器为您提供二阶算术繁体,二阶算术的老写,二阶算术的繁体,二阶算术的繁体字如何写,二阶算术的繁体字,二阶算术的繁体字转换对照,二阶算术的简繁体互转,二阶算术的繁体字怎么写,二阶算术繁体字,二阶算术繁体笔画,二阶算术的简繁体字怎么写,二阶算术简体繁体转换,怎么写二阶算术的繁体字,二阶算术的繁体怎么写等二阶算术繁体字在线查询。