中国数学发展之短板

经查，中国数学会下设数理逻辑专业委员会，现任主任、副主任的专业方向均是集合论，而且是点集理论，完全不涉及公理集合论、模型论、递归论和证明论，数理逻辑的四大支柱学科。

鉴于上述情况。中国数学发展存在短板，需要补课。

当今，数学发展缺少不了形式化、公理化。

微积分下放普通高中，这是进步。但是，下放什么样的微积分，仍然是个问题。

现在的数学界，菲氏微积分的徒子徒孙当家，说了算数。但是，有权必有责。

袁萌  2月23日