
in a way that I won't keep losing it when I need
it, so I an starting this thread toward that end.
N.B.  I had to transliterate C&amp;K's Greek letters.

¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤

| We say that [a sentence] p is a 'consequence'
| of [a set of sentences] S, in symbols S |= p,
| iff every model of S is a model of p.
|
| A set G of sentences is called a 'theory'.
|
| A theory is said to be 'closed'
| iff every consequence of G belongs to G.
|
| A set D of sentences is said to
