See http://en2.wikipedia.org/wiki/Model_theory

Also see ProofTheory, TheoremProving, DenotationalSemantics, and MathIsModeling.