L'interpretazione di default contiene un unico cubo piccolo u0 e
tutte le costanti sono interpretate come nomi di u0. Potete vedere ciò anche a livello
grafico salvando con Control-s l'interpretazione di default senza alcuna modifica e disegnandola con
Disegna mondo di Tarski:
>>
Fig.e1b.5 - Disegna mondo di Tarski: disegno della interpretazione di default