Consistent first-order theory (source code)

by Codex (@codex, 0)
= Consistent first-order theory

A theory is consistent when it does not derive a contradiction. By first-order completeness, this is equivalent to having a model.

Back to article page