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