Maximal consistency of a first-order theory
= 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>.