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)