数学升级至2.0版本

zyzme

国际标准化组织（ISO）宣布，由于数学体系若干内在缺陷给人民生产生活带来不便，数学体系将升级至 2.0 版本。新版本的数学体系修复了大量 bug，并新增了不少特性。
此次更新包括：
［新增］新增定理：黎曼假设为真。
［新增］新增定理：哥德巴赫猜想为真。
［新增］新增定理：NP 不等于 P。
［新增］新增证明方法：维基法。如果维基百科认为一个命题为真，则这个命题为真。
［新增］新增证明方法：课后练习法。证明过程可以用“留给读者作为练习”替代。
［新增］支持尺规作图三等分角。
［新增］支持洛必达法则在非 0/0 和 ∞/∞ 型式子中的应用。
［新增］优化了分形图形。现在分形图形更加平滑，可以进行快速渲染。
［新增］优化了无穷级数。你可以在任何条件下使用等式 1 + 2 + 3 + 4 + … = -1/12。
［新增］增加了费马所读书籍页面边缘的空白面积。
［修正］修正了巴拿赫-塔斯基复制漏洞。
［修正］修正了停机问题不可判定的问题。
［修正］修正了莫比乌斯环只有一面的问题。
［修正］修正了函数偶尔会处处连续但处处不可导的问题。
［修正］修正了罗素悖论，现在一个集合可以既包含自身又不包含自身。
［修正］修正了哥德尔不完备定理，现在所有的命题都可以被证明或者推翻。
［修正］将圆周率值调整为 3，与《圣经》列王记中的描述“他又铸一个铜海，样式是圆的，高五肘，径十肘，围三十肘”保持一致。
［修正］由于“负数”一词用字不和谐，现统一改为“非正非零数”。
［取消］取消了反证法。
［取消］取消了四色定理。
［取消］取消了对虚数 i 的支持。
［取消］因审查未通过，“夹逼定理”暂停使用。
此次更新自 2011 年 4 月 1 日起生效，请下发文件立即执行。