所谓的不可数无限一直被冠以论外之名
然而正常的论战其实更像是基数而非序数（当然，论战并不是一个严谨的数学，所以更像是个杂混出来的）
我为什么说更像是基数而不是序数，因为序数就是按序次排强度的，也就是说，ω+1和ω在基数层面是相等的，ω+1＞ω是因为序数是按顺序排的，ω+1是ω后面一个所以更强，但论战的无穷很明显不是这样的
所以阿列夫数其实更应该是论内，而非论外，不可达基数应当作为论外的起点
（上述观点均只是在论战的框架下讨论的，而非一个严谨的数学框架）