Language Sentence Structure Interpretation Satisfied Theory Model Semantic Entailment Tautology Syntactic Entailment Soundness Theorem Model Existence Lemma Adequacy Theorem Gödel’s Completeness Theorem for First-Order Logic Compactness Theorem The Downward Löwenheim-Skolem Theorem The Upwards Löwenheim-Skolem Theorem