开往“科星”的列车——第六站“吴文俊”星

“同学们请注意，列车即将到达本次旅程的第六站——“吴文俊”星站。这一站的关键词是‘拓扑学、数学机械化’。请大家打开平板电脑，先了解相关的知识。”列车广播又响了起来。