Topic summaryProof calculus Expand Summary In mathematical logic, a proof calculus or a proof system is built to prove statements. Wikipedia source
