proof

an abstract object in e.g. geometry and propositional calculus meant to represent an argument which relates zero or more premises to a conclusion, §1-0, Languages of Science