数学中的形式化与非形式化相关硕士博士期刊学术论文

本文提出了微积分中的一个问题:如何理顺圆的面积公式和极限limx→0 sinx/x=1之间的逻辑关系问题.文中指出它们之间的逻辑关系涉及......