HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › proof system
← Back to search

Meaning of proof system | Babel Free

Noun CEFR B2

Definitions

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

Equivalents

Deutsch Beweissystem

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.
See all B2 English words →

See also

proof-listener proof-of-concept proof-of-work proof-reader proof; evidence Proofed

Learn this word in context

See proof system used in real conversations inside our free language course.

Start Free Course

Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free