何谓值得称之为‘演示’的证明？

本文通过亚里士多德的三段论真理观（感官证据、公理定义与三段论推理）重新审视数学证明的基础。我认为，现代数学往往过度忽视了首要的感官证据，偏好仅靠公理与定理，从而产生的“证明”要么将公理伪装成发现，要么将经验观察包装成形式化的证据。以哥德尔不完备定理为案例，我展示哥德尔的论证实际上隐含了一种经验性的真理观念，在声称纯形式化的同时将物理学“偷偷摄入”数学之中。这种依赖削弱了演示本身的“值得称之为”资格，因为其在不同有效性的逻辑寄存器之间摇摆——分析的、辩证的与修辞的。更广泛地说，本文认为数学常常充当一种“虚拟物理”，其直觉与经验模型悄然塑造其公理与结果。通过澄清真正演示的要求，我旨在恢复亚里士多德对逻辑正统与更宽松推理模式之间的区分，并凸显将数学等同于物理的风险。