Talk:Maximal consistent set

Isn't the following:


 * The set is closed under a number of conditions internally modelling the T-schema:
 * For example, for a set $$S\!$$: $$A \land B \in S$$ iff $$A \in S \land B \in S$$,
 * or, $$(\exists x. \phi(x)) \in S$$ iff $$\exists t \in T. (\phi(t)) \in S)$$, where $$T$$ is the Herbrand universe of $$S$$.

a consequence of point 1 and 3? Baarslag 00:10, 26 July 2005 (UTC)