Proof calculusFrom Wikipedia, the free encyclopedia In mathematical logic, a proof calculus or a proof system is built to prove statements.