Teoria dei modelli: differenze tra le versioni

In teoria dei modelli, per ''linguaggio'' (o talvolta ''vocabolario''<ref>{{cita libro|Neil|Immerman|Descriptive complexity|1999|Springer-Verlag~|città=New York|isbn=9780387986005}}</ref>, o ''segnatura'') si intende l'insieme di simboli tramite i quali una teoria è definita, o che una struttura interpreta. Teorie e linguaggi aventi linguaggio <math>\tau</math> si dicono spesso rispettivamente <math>\tau</math>-teorie e <math>\tau</math>-linguaggi.