|
| [in mathematics] a formal series of statements showing that if one thing is true something else necessarily follows from it | ||||
|
| any factual evidence that helps to establish the truth of something | ||||
|
| [in law] all the means by which any alleged matter of fact whose truth is investigated at judicial trial is established or disproved |