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:
>>
>>
Il foglio tarskis_world.sig, segnatura primitiva di tarskis_world.cnt