Word
theorem
Phoneticsthe·o·rem
US/ˈθɪɹəm/
UK/θˈiəɹəm/
Definitions
01proven math statement
B2 · Upper Intermediate Countable noun Mathematics
n. a mathematical rule or statement that has been proven to be true using facts and logic.
n. a mathematical proposition of significant importance that has been demonstrated to be true through a formal proof.
“In school, we learned how to use Pythagoras' theorem to find the length of a triangle's side.”
“The mathematician spent decades attempting to provide a definitive proof for the theorem, which had remained a conjecture since the seventeenth century.”
Synonyms
Antonyms
02logical deduction
C1 · Advanced Countable noun Logic Technical · Academic
n. a statement in logic that follows correctly from a set of starting rules.
n. a formula or statement within a formal system that is derived from the axioms of that system by applying its rules of inference.
“The computer program checked if the new statement was a valid theorem of the system.”
“In formal logic, a theorem is distinguished from an axiom by the fact that it must be derived through a sequence of valid transformations.”
Synonyms
Antonyms
03to make into a theorem
C2 · Proficiency Mathematics Technical · Formal
v. to turn a mathematical idea or rule into a formal theorem.
v. to formulate a proposition or set of observations into a formal mathematical theorem.
“The researcher attempted to theorem the observed patterns in the data.”
“The author sought to theorem the preliminary findings, though the complexity of the variables made a formal proof exceptionally difficult to construct.”
Usage
This verb is rare and almost exclusively found in academic or historical mathematical texts.
Synonyms
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éō, “I look at, view, consider, examine”), from θεωρός (theōrós, “spectator”), from θέα (théa, “a view”) + ὁράω (horáō, “I see, look”). See also theory, and theater.
Etymology adapted from Wiktionary, available under CC BY-SA 4.0.
Related words
Domains
- Exam level
- CambridgeCambridgeCambridge English QualificationsThe exam suite from Cambridge University Press & Assessment, from A1 Movers up to C2 Proficiency. The benchmark names double as CEFR labels.B2 FirstIELTSIELTSInternational English Language Testing SystemThe 0–9 band test co-owned by the British Council, IDP, and Cambridge. Used for university entry, work, and migration.5.5–6.5TOEFL iBTTOEFL iBTTest of English as a Foreign Language, Internet-Based TestETS's academic English test, the standard route for US university admissions. Scored 0–120, with a 1–6 scale since 2026.1–6 scale: 4.0–4.572–94TOEICTOEICTest of English for International CommunicationETS's workplace English test, big in Japan and Korea. Listening & Reading scores 10–990 and tops out at C1.785–944
- Frequency
- Frequent
- Level
- B2 · Upper Intermediate
- Updated
- アルファベット
- 読み方の一覧 →
QR code
englishreference.com/q/theorem