Mathematicians use these words as follows:

every logical statement is either true or false;

a theorem is a statement that has been proved true.

# theorem (thing)

See all of theorem, there is 1 more in this node.

See all of theorem, there is 1 more in this node.