集合论反射原则探析

反射原则作为集合论公理最合理的内在证成方式,被期望经由精确描述"集宇宙V不可定义、不可描述"的思想以力图提供集合论公理的统一解释。但是该原则背后的潜无穷和实无穷观导致如下分歧:逾越Erds基数的大基数公理该不该被视为蕴涵在由反射原则描述的集宇宙V中?通过比较不同视域下的反射原则揭示出,反射原则不是意在描绘潜在的集合迭代概念,而是旨在表达"康托尔意义上作为完成的绝对无穷概念V的超越性"。由此,GRP作为更合理的反射原则为那些逾越Erds基数的大的大基数公理做出内在辩护。