theorem

Noun
  1. A proposition deducible from basic postulates (synset 106765007)
    is a type of: proposition - (logic) a statement that affirms or denies something and is either true or false
    subtypes: binomial theorem - a theorem giving the expansion of a binomial raised to a given power
  2. An idea accepted as a demonstrable truth (synset 105926861)
    is a type of: idea, thought - the content of cognition; the main thing you are thinking about
    subtypes: bayes' theorem - (statistics) a theorem describing how the conditional probability of a set of possible causes for a given observed event can be computed from knowledge of the probability of each cause and the conditional probability of the outcome of each cause

Other Searches