Heavenletter #4303 – 数学可以由什么构成