这种说法是受到David Hilbert的Formalism的影响。所谓的Peano axioms导出来的整套系统

来源: 于 2019-06-27 08:20:10 [博客] [旧帖] [给我悄悄话] 本文已被阅读：次

说穿了就是给代数系统建模。所以数学其实就是建模的科学。