TOPICS
Search

Theory


A theory is a set of sentences which is closed under logical implication. That is, given any subset of sentences {s_1,s_2,...} in the theory, if sentence r is a logical consequence of {s_1,s_2,...}, then r must also be in the theory.


See also

Logic, Sentence

Explore with Wolfram|Alpha

References

Enderton, H. B. Elements of Set Theory. New York: Academic Press, 1977.

Referenced on Wolfram|Alpha

Theory

Cite this as:

Weisstein, Eric W. "Theory." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Theory.html

Subject classifications