集合适用于替换公理，此基本列必须要在ZFc模型之外，即Vk+1中才能够被定义。
总之，在一系列世界基数不动点之上的便是伟大世界基数，可同样在伟大世界基数之上亦有无穷无尽无限无数个w函数不动点，并且这些互相间距离无比遥远的不动点，也都拥有同一个共尾数。
所以到了这一层面后，亦可以极为粗糙的将共尾数，视作为不同层次间的强度度量衡量标尺。
而距离这共尾w的一系列所有世界基数‘最近’的更高共尾数层面，便是与??等势的w1。
在此之上，还有与??等势的w?、与???等势的w??、与????等势的w???……等等各类各样差距更是巨大到了完全没有边的共尾数。
这些具备不同共尾数的各类世界基数，亦通常会被命名为带有各种复杂前缀名或者后缀名的称呼。
并且，被这些各级各阶每一个共尾数所‘统治’的庞大‘领土’之内的那些个各级各阶世界基数互相之间，亦会存在有无穷无尽复无尽无穷恐怖到无法言说无法形容的巨大差距。
而若想要跨越这一重又一重天渊之距，则又会牵涉到所谓「无界闭集」的数学概念。
关于此概念，还有一个较为简单的名为「无界集合」的前置型概念。
对于此概念若举例说明便是，譬如位于w范畴内的自然数在w中无界，又因w=N，所以N便是w的无界非真子集。(「无界」概念的具体定义详见677章)
既然存在‘非真’，那么就肯定会存在‘真’。
譬如，对任意n∈w仍有n+1∈w，无存最大自然数，所以全体正偶数便是w的真无界子集。
这个概念比较简单，但在此之上的「无界闭集」概念就要考虑的多…不是，是复杂的多了。
还是举例说明。
譬如，若c是x无界子集，对所有极限序数呈a
如果将这段话展开来讲，便可以认为对于那一系列a∈c所取的极限点，结果仍在c当中，也就是说c对于取极限点这一操作完全封闭，求取c中一系列元素的sup也仍然留存于c中。
所以，无界闭集的性质就像一把全无尽头的过滤网，可不断滤选出愈来愈极限的‘元素’，但却永远不会跑出集合范围。
总之，通过使用包括「无界闭集」在内的诸多‘工具’，沿着那贯穿一整个世界基数的漫长共尾数‘路径’，便可以直通不可达基数。
那么
…。。