 We have Soundness and Completeness theorems for classical quantificational logic with identity as well as Compactness and Löwenheim-Skolem theorems. The entry on  first-order model theory  offers an in-depth examination of these and other meta-theoretic results for classical quantificational logic with identity.