[这是一篇由杰里米·阿维加德（Jeremy Avigad）撰写的客座文章。本博客文章最初以不同的文件格式撰写，并使用人工智能进行了转换。— T.] 数学在十九世纪经历了一场如此深刻的变革，以至于称其为该学科的第二次诞生也毫不为过——其第一次诞生发生在……