Véase lenguaje formalizado y Cálculo.