Aunque los lenguajes formalizados (es decir, los sistemas lógicos construidos) se denominan con frecuencia lenguajes, es más preciso llamarlos cálculos (véase: cálculo)