English Explanatory Dictionary

proof system

English dictionary entry

Meanings

noun
  1. A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.

Word forms

proof system proof systems
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on P Russian dictionary Dahl dictionary