现代数学的出发点（修改稿）

  记得，在六十多年前，袁萌在南京市第十中学高三读书，经常去位于南京市成贤街的南京图书馆阅览图书，其中包括皮亚诺算术。

   回到现在，百度一下“皮亚诺算术”，科普中国根本不提“算术的非标准模型”，如同六十多年 前前的状态，令人感到悲凉。

    时代在前进，我们不能止步不前，固步自封。

   简而言之，公理化的皮亚诺算术（公理系统）是整个现代数学的出发点。没有有形式公理化，谈何现代数学？

袁萌  陈启清 元月13日