简明地说就是像汪吧那群人讨论战力套盒子，不考虑现实古典数学公理，将讨论范围扩大到一个更大的公理集合内，然后不断套娃，进行无穷的归纳统计，并且将一个万有集合论作为另一个万有集合论的因素套入，嵌套终极L于终极L中，借此来证明所有命题（包括所有悖论、矛盾）具有直接性。这是否是一种机械理性？
我的反证是由结果出发，假设所有命题不可证，那么按照这个逻辑我的命题包含其中，因而可证，所以存在悖论