Neden lambda hesabı bir “matematik” tir?

Fark ettiğim "kalkülüs" ün tek tanımı analizde limitler, türevler, integraller vb. Ne anlamda lambda hesabı (veya mu hesabı gibi şeyler) bir “matematik” dir? Analizde kalkülüs ile ilişkisi nedir?

Analiz sadece bir akıl yürütme sistemidir. Belirli bir kalkülüs (aslında birbiriyle yakından ilişkili iki kalkülüs: diferansiyel kalkülüs ve integral kalkülüs) o kadar yaygın hale gelmiştir ki, sanki tek farkmış gibi "kalkülüs" olarak bilinir. Ancak, gözlemlediğiniz gibi, lambda hesabı, mu hesabı, pi hesabı, önermeli hesap, yüklem hesabı, ardışık hesap ve Profesör Hesabı gibi başka hesaplar da vardır.

Analiz, problemleri, genellikle bir hesaplama yöntemi olan özel bir cebirsel notasyon sistemi ile tedavi etmek için sistematik metotları ifade eder.