0.999…=1？数到底是什么？李永乐老师讲数学公理化

经常有小朋友问我这样一个奇怪的问题
0.999…到底等不等于1呢
如果我们在网络上搜索这个问题的话
会看到许多用初等数学的方法进行了证明
但是这个看似简单的问题其实必须使用数学公理化
和实数的构造才能进行严格的证明
今天我们就通过这个例子
带大家了解一下数学公理化的无限魅力