Kalkyl

I matematik betecknar termen " kalkyl " olika kunskapsområden, såväl som formella teorier ( uppsättningar av formler härledda från axiom som använder slutledningsregler).

Kalkyl i matematisk logik :