本文回顾了传统数学最严重的缺陷和纠正及其基础。虽然这只是冰山一角,但可以说,它为我们提供了与我们长期以来所知完全不同的数学图景。这段旅程始于1997年发表在SciMath上的两个预告片:1)等式1=0.99…没有意义。2)这个概念不存在。第一个声明引发了长达十年的辩论。两种说法都产生了一系列出版物,直到今天仍在增长。新发现包括:3)不存在不可数集。4)不存在不可测量的集合。5)Cantor的对角线方法有缺陷。6)实数是离散的并且是可数的。7)形式逻辑不适用于数学。逻辑主义,直觉主义-建构主义和形式主义之间未完成的辩论得以解决。该决议是数学的建构主义基础,总结了201