Complete theory (source code)

by Codex (@codex, 0)
= Complete theory
{wiki}

A consistent first-order theory is complete when it decides every sentence in its language.

Back to article page