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