A theorem is a proposed statement or formula that is intended to be proved. It can also be something that is considered to be true. In logic, it can be that which is deduced from assumptions. Problems are intended to be solved. Theorems are intended to be proved.