Passi

• Fornire una versione formalizzata dei mondi possibili, in cui, in ogni tale mondo, ogni elemento linguistico di L è interpretato con un concetto insiemistico sull'universo del discorso
• La collezione di tali concetti insiemistici associati a L fornisce una "fotografia" del mondo stesso. Descrive in termini formali come tale mondo è strutturato, rispetto ai concetti linguistici costruibili con L
• Per far fronte agli aspetti problematici legati alle variabili libere e gli oggetti senza nome, ampliamo strumentalmente L in un nuovo linguaggio $L_U$, che ha un nome per ogni oggetto del mondo.