| be a 'set of axioms for' a theory G
| iff G and D have the same consequences.
|
| A theory is called 'finitely axiomatizable'
| iff it has a finite set of axioms.
|
| Since we may form the conjunction of a finite
| set of axioms, a finitely axiomatizable theory
| actually always has a single axiom.
|
| C.C. Chang &amp; H.J. Keisler, 'Model Theory',
| North-Holland, Amsterdam, Netherlands, 1973,
| pages 11-12.

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

</PRE>

<!--X-Body-of-Message-End-->
