theorem
noun
- (within mathematic and logic) a mathematical statement that can be proven
Wiktionary
Pronunciation: /ˈθiː.ə.ɹəm/ / /ˈθiərəm/ / /ˈθɪrəm/
noun
Etymology: From Middle French théorème, from Late Latin theōrēma, from Ancient Greek θεώρημα (theṓrēma, “speculation, proposition to be proved”) (Euclid), from θεωρέω (theōréō, “to look at, view, consider, examine”), from θεωρός (theōrós, “spectator”), from θέα (théa, “a view”) + ὁράω (horáō, “to see, look”). See also theory, and theater.
- A mathematical statement of some importance that has been proven to be true. Minor theorems are often called propositions. Theorems which are not very interesting in themselves but are an essential part of a bigger theorem's proof are called lemmas.
- A mathematical statement that is expected to be true.
“Fermat's Last Theorem was known thus long before it was proved in the 1990s.”
- A syntactically correct expression that is deducible from the given axioms of a deductive system.
verb
Etymology: From Middle French théorème, from Late Latin theōrēma, from Ancient Greek θεώρημα (theṓrēma, “speculation, proposition to be proved”) (Euclid), from θεωρέω (theōréō, “to look at, view, consider, examine”), from θεωρός (theōrós, “spectator”), from θέα (théa, “a view”) + ὁράω (horáō, “to see, look”). See also theory, and theater.
- To formulate into a theorem.