佩雷尔曼-丘成桐-田刚大量使用或然推理”估计“就不是证明

https://www.jianshu.com/p/52fa6580d5ca

数学思维最基本的单位是概念，比概念大一些的思维单位是模型，我们用概念为事物分类，建立对象。模型可以是命题和公式，它包含了多个概念，我们用模型建立概念间的关系，把握概念的关系。概念又分为多种，我们只能把握普遍概念和单独概念，不能一次性把握集合概念。（详见后面内容）