Calculus

I matematik betegner udtrykket " calculus " forskellige vidensområder såvel som formelle teorier ( sæt af formler afledt af aksiomer ved hjælp af inferensregler).

Kalkulation i matematisk logik :