一种弱谓词逻辑上的集合论
杨立群
数学季刊 . 1987, (2): 108 -109 .