实践是数学理论的基础

jzkyllcjl

三次数学危机都需要依赖实践的事实去解决。数学理论不能单靠形式逻辑。必须以实践为基础，现实数量大小测不准、画不准、算不准的事实必须受到尊重。ZFC形式语言公理体系必须被消除；康托尔的“数学必须肯定实无穷，无穷集合是完成了的整体的实无穷观点不成立”；∞是无穷大量研究中的广义极限性质的非正常实数。自然数n可以趋向于+∞，但永远达不到+ ∞。无穷数列的趋向性极限需要提出，但变量性无穷数列达不到其极限值的事实需要被尊重。虽然毕达哥拉斯定理的形式逻辑证明是需要的， 但不能忘掉它的实践依据，不能忘掉它的应用中需要使用近似方法；√2 与π的绝对准十进小数表达式是永远算不到底的理想实数；离开了近似方法就算不出三边长为1.1 、√2、√3 的三角形的三内角大小；也算不出ln2 的绝对准大小；列宁办的话，——“如果不把不间断的东西割断，不使活生生的东西简单化，粗糙化，不加以割碎，不使之僵化，那末我们就不能想象、表达、测量、描述运动”也是数学理论阐述中必须使用的一个原则。 此外，还需要提出“实数的非形式化定义”；“数列极限的非形式化定义”；“自然数集合、实数集合、数轴、函数的唯物辩证法概念”。需要取消无实用意义的勒贝格积分；需要取消使用无穷级数得到的没有导数的处处连续函数；需要取消康托尔的无穷序数、无穷基数理论；需要提出定积分是原函数增量的定积分定义替换黎曼和的定积分定义。笔者的这些改革虽然很大、很多， 但都有实践事实的根据与应用价值。现行数学教科书需要改革

elim

四则运算缺除法, 解不了方程的 jzkyllcjl 的实践，只能成为谬论的基础。