现在对论外的定义产生了疑惑，而且问过很多人得到的标准都不尽相同。有些人说论外要贴公理，可是除了拿来论战的有几本书会闲的在正文里面贴公理？也有说要有公式，可是大基数本身就无法通过下级变化得到啊？还是说有人认“取幂次集”这种操作也算公式？而且取幂次集也达不到不可达基数啊？这样的话论外最高只能认到阿列夫基数？还有说要有构造的，可是我看论外构造一大把是通过强行定义得到的，比如“永远无法运算达到”或者“把XX看作X”、“以某个无穷在另一个宇宙只是一个点然后无限套娃为操作起点”之类的。
还有就是。这几天一直产生的疑惑，如果大基数算名词流的话，无穷为什么不算呢？无穷集合的存在无法用任何有穷集合为基础得到证明，而大基数公理是现代的公理化集合论，同样无法得到证明，否认无穷公理就是否认无穷集合，否认大基数公理则是否认吧内论外的存在，这样的话不如把单体往上的角色都打下来，把用物理公式达到无穷的物理系角色排上去不就好了。
所以还是想知道吧内如何去认定所谓的论外的，贴公理我还能理解，公式和构造实在无法理解，感觉文字流根本表述不出论外，真心求教