咱们今天聊个有点“烧脑”但特别有意思的话题——数学里的“模型论”和“实在论”，核心就问一个问题：那些我们天天打交道的数学对象，比如1、2、3，比如直线、三角形，再比如更抽象的集合、函数、无穷大，它们到底是“真的存在”，还是咱们人类为了方便，搭出来的“思维工具”？
可能有人会说：“这有啥好争的？1+1=2全世界都认，难道还能是假的？” 哎，你别说，数学家和哲学家们为这个问题吵了上百年，至今都没完全达成一致。为啥？因为这个问题看似简单，实则戳中了数学的“根”——如果数学对象不是“真的存在”，那数学定理的客观性从哪来？如果它们真的存在，那它们藏在哪儿？我们又怎么“摸到”它们？
此文由 怡心湖 编辑，若您觉得有益，欢迎分享转发！：首页 > 会·生活 » 数学对象：模型论与实在论的本质之争