数学对象的构造方式

数学结构主义曾为"数学是什么"提供了最可靠的回答,即数学是关于结构的,而数学的对象是在数学结构中所占的位置,因而在结构主义者看来,数学对象仅以结构就能得到说明。但是根据结构人们就能准确而清楚地认知数学对象了吗?在笔者看来,情况并非如此,为了说明数学对象究竟是什么,就需要对结构主义进行必要的修正,为此笔者将基于一般本体论对论证对象同一性的leibniz原理进行公式化表述,从而指出如何构造日常对象并在此背景下直接规定在当下的结构主义理论中正逐渐丧失的东西。