There are many kinds of statement that are not theorems:
A statement can be an axiom, that is, something that is assumed to be true without proof. It is usually self-evident, but like Euclid's parallel postulate, need not be.
A statement need not be true in all circumstances - for example, A*B = B*A (commutativity) is not necessarily true for matrix multiplication.
A statement can be false.
A statement can be self-contradictory for example, "This statement is false".
Chat with our AI personalities
That is a theorem.A theorem.
No. A corollary is a statement that can be easily proved using a theorem.
A corollary.
Conjecture: a statement which may or may not be true.Postulate: a statement that is believed to be true, but may not be.Theorem: a statement that has been proved to be true provided some postulates are true.Corollary: a statement whose truth follows from the truth of a theorem, but one which is not important enough to call it a theorem.
True