Maths›03. Logic and Foundations2.4 Satisfaction and ModelsSatisfaction, truth in a structure, models of sentences, and theories in first order logic.