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