只有当Godel(1947, p.519)不只是像Mirimanoff那样把有根类(grounded collections)作为集合宇宙的一个子宇宙,而是作为一个独立的有动机的层谱(hierarchy),正如他所指出的,“从来没有导致任何二律背反”时,事情才开始发生变化。([1], 52)
对层叠集合观的经典论证参见收录于普特南和贝纳塞拉夫编的《数学哲学》中的王浩和boolos的文章。
参考文献:
[1] set theory and its philosophy: A Critical Introduction, Michael Potter, Oxford, 2004.
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。