正版 同构 编程中的数学 刘新宇 数字 递归 对称 范畴 无穷 皮亚诺算术公理系统 计算机程序 范畴论 融合律 罗素 参数