Word.ws English Dictionary

proof system

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

Noun

proof system (plural proof systems)

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

Forms of proof system

pluralproof systems

Questions about proof system

What does proof system mean?
Proof system means a set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
What part of speech is proof system?
Proof system is a noun.
What is the plural of proof system?
The plural of proof system is proof systems.

Words near proof system in the dictionary

  1. proof readers
  2. proof sheet
  3. proof sheets
  4. proof spirit
  5. proof spirits
  6. proof system
  7. proof systems
  8. proof-listen
  9. proof-listened
  10. proof-listener
  11. proof-listeners

Source and license

Adapted from Wiktionary: proof system (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “proof system.” Word.ws, https://word.ws/proof_system. Based on Wiktionary, CC BY-SA 4.0.