Proof calculus
In
mathematical logic
, a
proof calculus
or a
proof system
is built to prove
statements
.