#proof  (logic or mathematics) a formal series of statements showing that if one thing is true something else necessarily follows from it
  supertype:  #argument__statement  a fact or assertion offered as evidence that something is true; "it was a strong argument that his hypothesis was true"
  subtype:  #mathematical_proof  proof of a mathematical theorem
  subtype:  #logical_proof__logicalproof  proof of a logical theorem
  subtype:  #demonstration.proof__monstrance  proof by a process of argument or a series of proposition proving an asserted conclusion

No statement uses or specializes #proof; click here to add one.