Solution

ID: past-exam-of-the-logic-and-set-theory-course-of-the-university-of-oxford/2010/a/3/a/ii/solution

A set of sentences is maximal consistent if it is consistent and no proper extension by further sentences remains consistent. Equivalently it is consistent, deductively closed, and decides every sentence: for each , exactly one of and belongs to it.
For example, if but , adding does not create a new contradiction, contrary to maximality. Thus maximality includes deductive closure, not only having as many independent axioms as possible.

New to topics? Read the docs here!