A major statement that can be proven true. They are not assumed to be true. It has assumptions and a conclusion, where the true assumptions Imply the conclusion. Very often, the hypothesis or conclusion contains free variables. Assigning values to these free variables is called instantiating and instance of the theorem