Le sémème est l'entité de base de cette axiomatique. Formellement, un sémème est identifié par (mais ne se limite pas à) une simple chaîne de caractères, permettant ainsi des relations d'identité et de différenciation. Nous verrons plus loin les lacunes de ces relations, mais nous nous en contenterons pour l'instant.