没有必然的关系。
或许可构造类本身是安全的。
但是，它的逆命题，同样也有可能是安全的。
围剿之势。
对此，已经前往征天司前线的海霆真人却显得异常风轻云淡。
这一场厮杀，是他得到了进步，也对他的道心造成了动摇。他对离宗连宗的分歧，都已经逐渐看淡。
更重要的是……他立于不败之地。
就算可构造类逆命题安全，也不代表可以证伪可构造类本身。
可构造类，是不可证的。
他或许不会赢，但也不可能败。
这样“放弃”一般的示弱，当然不可能让其他人停下。
海霆可以不败，但他们却是要“赢”。
于是，连宗的修士们，便提出了新的方向。
所有的矛盾，都是集中在“内模型”与“可构造类”上的。
可构造性公理在天理体系【公理体系】内不可证否。也就是说，天理体系内，不存在反例可证见不可构造集合。如果假设，在天理体系内，有一个可构造类的扩张——比如说，存在一个不可构造的集合，这个假设就等于是可构造性公理在天理体系下的假设。这样下去，