几个例子表明，目标中的矛盾（比如，当尝试对列表的长度进行归纳时，“0 > 0 意味着某事”）可以通过以下方式处理
exfalso. omega.
由于 Omega 模块已弃用，因此缺少 omega 策略。处理上述情况的正确方法是什么？
谢谢
主页
/
user-27042583