他上大学的那个系在五十年代建立全国第一个数理逻辑专业，也是全国最早的博士导师专业。

尽管后来数天两个系。出来的学生都有逻辑基础。