reverse mathematics In logic, reverse mathematics is the study of what axioms are necessary for a given theorem to hold.
reverse mathematics
数学辞典收录了4151条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。