Wiktionary
proof system
n. (context logic English) A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.
Usage examples of "proof system".
Theoretically, it's a tap-proof system, since the whole thing is up off the ground.
Like everybody else I wanted a fool-proof system by which I could predict the twitches.
The car sent out a locator signal, in case thieves stole it, but she had deactivated the supposedly tamper-proof system.