teoria dei modelli

La teoria dei modelli è una branca della matematica, e più precisamente della logica, che affronta lo studio generalizzato del concetto di struttura, in riferimento alle relazioni tra varie strutture ed in particolare alla soddisfacibilità di date teorie.