Mathematicians use these words as follows:every logical statement is either true or false;a theorem is a statement that has been proved true.