公理系统ACG的层谱

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