在Gianluigi Oliveri、Claudio Ternullo和Stefano Boscolo（编辑）中，对象、结构和逻辑，数学哲学中的FilMat研究施普林格。第133-174页(2022)
复制
B类IB公司T型E类X（X）
摘要
非正式严格性是我们理解特定数学结构，然后通过公理化来体现这种严格性的过程。结构相对性是指我们分离出的结构类型取决于我们使用的逻辑。我们通过考虑集合理论论述所表现出的非正式严谨程度，将这些观点结合在一起，并认为不同的基础程序应该支持不同的基本逻辑（介于一阶和二阶之间）来构建集合理论。通过将模态空间中扰动的考虑纳入这场辩论，我们将建议，通过使用拟弱二阶逻辑来建立集合论，为代表当前的集合论思想提供一个有前途的选择。这些观察结果表明，通常将结构划分为特殊结构（例如自然数结构）和一般结构（例如群结构）可能过于粗糙；我们还应该区分有意和无意的一般结构。
