为了明天，，穿越时空，重返南大（I）
回到现在，希尔伯特与哥德尔关于数学形式化（公理化）的研究成果，将世界数学研究推进到一个本质上全新的高度。我们要顺应历史发展潮流（比如超实数方向），不做数守旧派。
袁萌
回到现在，希尔伯特与哥德尔关于数学形式化（公理化）的研究成果，将世界数学研究推进到一个本质上全新的高度。我们要顺应历史发展潮流（比如超实数方向），不做数守旧派。
袁萌