举报北大袁萌的博文：

超实数系统存在性的严格数学证明