Folder: mathematics/objects/universes/semiotic-universe/formalization