举报北大袁萌的博文：

自然数的皮亚诺公理系統