 Observation: The logarithm \(\log_a n\) of a number n characterizes our intuitions about the concept of information in a number n exactly. When we decide that 1) multisets are the right formalisation of the notion of extensiveness, and 2) multiplication is the right operation to express additivity, then the logarithm is the only measurement function that satisfies our constraints. 