A mathematical statement that is true and has been verified as true through a formal proof. See Also constructive non-constructive existence theorems logical inference statement