Is naming a mathematical process, in the sense that it assigns a meaning to a thing, or in the sense that it establishes a sort of definition?