公理系统ACG的层谱

在文献[1]中,我们从研究范畴论的基础出发,建立了聚合的公理系统ACG,我们也在ACG中证明了系统ZF~#与QM的协调性。本文对ACG建立了一个层谱,B_0,B_1,…,B_n,……(n∈ω)使得在这一列系统中前者的协调性均可在后者中加以证明,并且它们的并就是ACG。作者另文的结果,即ZF~#与QM的协调性只需在B_0中就可以获得,虽然,在B_0与ACG之间还存在个具有递增强度的公理系统。