Si un conjunto de proposiciones (fórmulas bien formadas) de un sistema axiomático formal admiten una S-estructura donde se satisfacen, entonces se dice que dicha estructura es un modelo para el conjunto de proposiciones.