Gödel's Completeness Theorem

If $T$ is a set of Axioms in a first-order language, and a statement $p$ holds for any structure $M$ satisfying $T$, then $p$ can be formally deduced from $T$ in some appropriately defined fashion.

See also Gödel's Incompleteness Theorem