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

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