“ACA0”的概念、定义、习题解题方法及翻译-数学辞典

单词	ACA0
释义	$ACA_{0}$ $ACA_{0}$ is a weakened form of second order arithmetic. Its axioms include the axioms of PA together with arithmetic comprehension.
随便看	KoebeFunction Koebe function KoetheConjecture Koethe conjecture KolakoskiSequence Kolakoski sequence KolmogorovComplexity Kolmogorov complexity KolmogorovComplexityFunction Kolmogorov complexity function KolmogorovsContinuityTheorem KolmogorovsExtensionTheorem KolmogorovsInequality KolmogorovsMartingaleInequality KolmogorovsStrongLawOfLargeNumbers KolmogorovZerooneLaw Kolmogorov zero-one law Kolmogorov’s continuity theorem Kolmogorov’s extension theorem Kolmogorov’s inequality Kolmogorov’s martingale inequality Kolmogorov’s strong law of large numbers KonigEgervaryTheorem KonigsLemma KonigsTheorem

数学辞典收录了18232条数学词条，基本涵盖了常用数学知识及数学英语单词词组的翻译及用法，是数学学习的有利工具。

A⁢C⁢A0