  Anonymity has gained notoriety in modern times as data about our actions and
choices accumulates in the internet partly unbeknownst to us and partly by our
own choice. Usually people wish some data about themselves were private while
some other date may be public or is even wanted to be public for publicity
reasons. There are different criteria which characterize the degree of
anonymity of data. Given data can also be anonymized by different techniques in
order to increase its degree of anonymity. In this paper we take a very simple
"atomic" degree of anonymity as our starting place. We axiomatize these atoms
and propose the investigation of first order logic based on these atoms.
Considering the vast literature and the huge importance of anonymity our
investigation may seem quite modest. However, it is about the logic of
anonymity, not about how to secure, create or break anonymity.
