Mathematicians use these words as follows:every logical statement is either true or false;a theorem is a statement that has been proved true.
printable version
link view
Everything2 Help