陶哲轩实分析：极限定律的本质

本文是笔者对陶哲轩实分析6.1节的分析
本文主要指出，极限定律组仅仅是实数理论下的定义而已，他不是定理。就像有理数集满足的代数定律在本质上应该当做是有理数理论搭建过程中形式化有理数a//b下的加减乘除定义而已，最多你可以把诸如加法交换律的东西看成是加法定义的推论。但是6.1节给出的极限定律的内容甚至比加法交换律还少！他除了是一个定义以外，没有任何更多的东西了！真是令人惊叹！我建议陶哲轩在极限定律组里加入诸如极限加法交换律的东西让这组定律看起来不仅仅是定义而已。
本文编写于2019.7.11 14日精读掌握《陶哲轩实分析》day5