Hierarchy:
Description:
{{logic}} A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
Ngram:
Ngram Text:
proof system
Source:
Wiktionary
Issue:
0
Wiktionary tag:
Ngram Count:
2