when formalizing intuitive concepts, a common approach is to construct a set of objects (symbols) and a set of rules to manipulate these objects.직관적인