当然有。如果把时间跨度拉长的话，集合论进入中学教材就是最近100多年的事，因为把集合论确立为数学基础是20世纪的事情。
上世纪60年代美国还搞过一场新数学运动，核心是把中小学数学教学内容现代化，要求从中小学起就要用现代数学精确的数学语言去传授公理化的数学体系。不过这场教育改革运动算是失败了，我觉得一个重要原因是对数学老师的要求太高，根本找不到那么多能把公理化思想讲清楚的老师——或者说这样的老师成本有点高，普通学校雇不起。
这是一个从 https://www.zhihu.com/question/592500643/answer/2961389278 下的原始话题分离的讨论话题