proof system

Noun

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

Translations

 * Finnish: todistusjärjestelmä
 * German: Beweissystem
 * Polish: grupa aksjomatów