一种弱谓词逻辑上的集合论
YANG Li-qun
Chinese Quarterly Journal of Mathematics . 1987, (2): 108 -109 .