Hierarchy:
Description:
{{logic}} a syntactically correct expression that is deducible from the given axioms of a deductive system
Ngram:
Ngram Text:
theorem
Source:
Wiktionary
Issue:
0
Wiktionary tag:
Ngram Count:
1
Wikokit WikiText ID:
1321721