在皮亚诺算术模型上方括号划分的一个定理
张宏裕
Chinese Quarterly Journal of Mathematics . 1989, (3): 107 -108 .