theorem.
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.
Meaning & usage
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.
Where this word comes from
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.
Where this word comes from
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.
Try it on your idea.
theorem has 7 characters. Say it out loud, try it alongside a description of your project, and see whether its meaning fits what you want to create.
These are naming prompts. Meanings and pronunciation can vary; existing brand and domain uses have not been checked.
Explore the name generatorA word with a source.
Definitions, grammatical labels, IPA, etymology and examples: Wiktionary contributors, extracted by Kaikki / Wiktextract. Adapted under CC BY-SA 4.0. Selected fields and authored examples are shown; third-party quotations and audio are omitted. See contributor history.
Last enriched 2026-09-10. Definitions are in English. Romanizations are shown when supplied by the source; syllable estimates are omitted for unsupported scripts.