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

摘要

集合论公理系统的分层在数学基础研究中占有很重要的位置。在这方面,Quine、王浩和张锦文做了大量的工作。 Lévy对ZF公式进行了分层(Lévy分层)。设φ是一ZF公式,φ是∑_0(∏_0)公式当且仅当它是一受囿公式。一般地,一个ZF公式φ是∑_(n+1)(∏_(n+1))