proof system

Fetched 2026-10-26 (cache).

Synonyms: root system

Antonyms: root system

Related words from Datamuse; suggestions, not definitions.

Noun

1. {{lb|en|logic}} A set of [[axiom]]s and a set of [[inference rule]]s which are jointly used to deduce [[tautologies]], thereby providing [[proof]]s of them.

Source: Wiktionary · CC BY-SA 4.0 (Wiktionary dump) · cached copy, not a rewrite.