论文标题
ZF* - 扩展性解释完整的ZF
ZF*-Extensionality interprets full ZF
论文作者
论文摘要
达娜·斯科特（Dana Scott）表明，以习惯方式形式化的ZF集合理论从ZF集合理论中取消扩展性将使其削弱到Zermelo Set理论。以下证明是我个人尝试解决一个问题，即我们是否可以使用ZF正式使用ZF而不是标准的公理替换架构时可以承受延伸性的替换版本。达娜·斯科特（Dana Scott）调查了，这里的证明的一般线与他的一般线相似。但是，这里建议的替换形式不同。
Dana Scott had shown that removing Extensionality from ZF set theory formalized in the customary manner would weaken it down to Zermelo set theory. The following proof is my personal attempt to solve the question of whether we can have a version of replacement that can withstand removal of Extensionality when ZF is formalized with it instead of the standard axiom schema of replacement. Dana Scott had investigated that, the general lines of the proof here are similar to his; however, the form of Replacement suggested here is different.
