The world is the totality of facts, not of things. (Ludwig Wittgenstein, [9], proposition 1.1) The collaborative tagging system is an interaction between humans, terms and objects over time which results in a collectively organized knowledge. In this paper, based on the study of existing software systems, we present the specifications of the collaborative tagging system written in TLA+