Appearance
Use device theme  
Dark theme
Light theme

What is a proof system?

What is a proof system? Here are some definitions.

Noun
  1. (logic) A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
Find more words!
Use * for blank tiles (max 2) Advanced Search Advanced Search
Use * for blank spaces Advanced Search
Advanced Word Finder

See Also

Nearby Definitions
Find Definitions
go
Word Tools Finders & Helpers Apps More Synonyms
Copyright WordHippo © 2025