see contradiction
Did you mean
Sounds like
second reduction
二次还原
state reduction
状态简化
self contradiction
自相矛盾
system connection
系统连接