Definition:Inconsistent Formula