>>568
>>570

完全に抽象化された数字の操作ではなく、
文章の論理的な思考を、数式で実現する表現だと考える、とでも言うのかな。