Top Qs
Timeline
Chat
Perspective
proof system
From Wiktionary, the free dictionary
Remove ads
English
Noun
proof system (plural proof systems)
- (logic) A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
Translations
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads