a proposition which terminates in theory, and which considers the properties of things already made or done; or it is a speculative proposition deduced from comparing together several definitions. A theorem is something to be proved, and a problem something to be done.