Atlas/Foundations/Model theory
1/4
A theory is a set of sentences. It is finitely satisfiable if every finite subset has a model.