举报北大袁萌的博文：

数理逻辑奠基人--弗雷格