系统Z+∑_n-公式的替换公理模式的协调性结果

【摘要】 <正> 集合论公理系统的分层在数学基础研究中占有很重要的位置。在这方面,Quine、王浩和张锦文做了大量的工作。 Lévy对ZF公式进行了分层（Lévy分层）。设φ是一ZF公式,φ是∑₀（∏₀）公式当且仅当它是一受囿公式。一般地,一个ZF公式φ是∑_n+1(∏_n+1)公式当且仅当它形如xψ更多还原