摘要： 我们的弱谓词逻辑系统 WL’是[2]中 WL 的一种减弱形式,即把 WL 中的16、17条去掉,而把15减弱成规则: 非逻辑公理系统 ZF1是仅把 ZF 中替换公理换成[2]中形应的形式,正则公理换成如下的（Reg）1对任不含否定词的公式\varphi（x）,有.在古典集论 ZF 中,序数有如下的三个等价定义:
杨立群. 一种弱谓词逻辑上的集合论[J]. 数学季刊, 1987, 2(2): 108-109.
YANG Li-qun. [J]. Chinese Quarterly Journal of Mathematics, 1987, 2(2): 108-109.
