Maximal consistency of a first-order theory
ID: maximal-consistency-of-a-first-order-theory
A first-order consistent theory is maximally consistent when it has no proper consistent extension in its fixed language. It decides each first-order sentence or its negation.
New to topics? Read the docs here!