En ese punto, la teoría de modelos permite definir la semántica de una teoría.