theory

Submitted by György Chityil ... on Fri, 01/19/2018 - 16:41
Hierarchy: 
Noun
Description: 
{{countable}} {{logic}} A set of axioms together with all statements derivable from them. ''Equivalently,'' a formal language plus a set of axioms (from which can then be derived theorems).
Ngram: 
theory
Ngram Text: 
theory
Source: 
Wiktionary
Issue: 
0
Wiktionary tag: 
logic
Ngram Count: 
1
Wikokit WikiText ID: 
1321803