Proof

Of mathematics, logic and argument.

A formal series of statements showing that if one thing is true something else necessarily follows from it.

This concept's ID is @1~35408