☰

противоречивая формальная система

сущ.
мат.
不相容形式系统 bù xiāng róng xíngshì xìtǒng