La segnatura di un contesto contiene i "simboli primitivi" dello stesso. Il contesto può estendere l'insieme dei simboli primitivi attarverso definizioni esplicite, ovvero assiomi che introducono nuovi simboli definendone il significato in base a quello dei simboli primitivi. Ad esempio, nel mondo di Tarski possiamo definire la relazione "più piccolo" (Smaller) dicendo che x è "più piccolo" di y se e solo se x è piccolo e y è medio o grande, oppure se x è medio e y è grande. La segnatura tarskis_world.sig contiene i simboli primitivi del contesto tarskis_world.cnt; la potete aprire con Apri file ed è data in figura:
Apri file >> Segnatura di tw>> Segnatura di tw
Il foglio tarskis_world.sig, segnatura primitiva di tarskis_world.cnt