つまり解くために数学を使って定式化したわけですね。

それでは定式化される前は何だったのだろう?