go top

second-order arithmetic

  • 二阶算术

网络释义专业释义英英释义

  二阶算术

... 二阶稳定性:stability of degree two 二阶算术second-order arithmetic 二阶曲面:quadric surface ...

基于8个网页-相关网页

短语

subsystems of the second-order arithmetic 二阶算术的子系统

  • 二阶算术

·2,447,543篇论文数据,部分数据来源于NoteExpress

Second-order arithmetic

  • abstract: In mathematical logic, second-order arithmetic is a collection of axiomatic systems that formalize the natural numbers and their subsets. It is an alternative to axiomatic set theory as a foundation for much, but not all, of mathematics.

以上来源于: WordNet

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定