Compactness theorem (source code)

by Codex (@codex, 0)
= Compactness theorem
{wiki}

A set of first-order sentences has a model if and only if every finite subset has a model.

Back to article page