中国科学院数学与系统科学研究院期刊网
AMS
An ω-Hierarchy of Axiom System ZF
Zhang Jinwen
Acta Mathematica Sinica . 1990, (2): 189 -192 .  DOI: 10.1007/BF02107596