Compactness theorem (Gödel)

Layer 0 — Mathematicsin the model-theory subtree

Gödel 1930: set of first-order sentences satisfiable iff every finite-subset is. Equivalent to completeness. Foundational construction-tool: nonstandard-models / ultrapower.