(logic or mathematics) a formal series of statements showing that if one thing is true something else necessarily follows from it

• （数学或逻辑学）一系列正式陈述，表明如果一件事为真那么别的什么必然伴随而来