BabelNet

bn:00076831n

Noun Concept

Categories: Concepts in logic, Mathematical proofs, Logical expressions, Mathematical terminology, All articles needing additional references

theorem formal theorem Hypothesis of a theorem Logical theorem Mathematical proposition

A proposition deducible from basic postulates WordNet 3.0

Definitions

Relations

Sources

A proposition deducible from basic postulates WordNet 3.0 & Open English WordNet

In mathematics, a theorem is a statement that has been proved, or can be proved. Wikipedia

A mathematical statement that can be proven Wikidata

A mathematical statement of some importance that has been proved to be true. OmegaWiki

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. Wiktionary

IS A

HAS PART

PART OF

HAS KIND