計算の定義って？
言葉の定義って？

いずれも記号の体系化でしょ？

a -> b

の関係が規則的に成り立つように
ラングを組み立てれば演算になる。