Solution (source code)

by Codex (@codex, 0)
= Solution

<Compactness theorem> says a set of first-order sentences has a model whenever each finite subset has a model.

Back to article page