On Wed, 20 Nov 2002, Peter Fairbrother wrote:
> Completeness has nothing to do with whether statements can or cannot be
> expressed within a system.
>
> A system is complete if every sentence that is valid within the system can
> be proved within that system.
Introduction to Languages, Machines and Logic
A.P. Parks
ISBN 1-85233-464-9
pp 240 and 241
--
____________________________________________________________________
We don't see things as they are, [EMAIL PROTECTED]
we see them as we are. www.ssz.com
[EMAIL PROTECTED]
Anais Nin www.open-forge.org
--------------------------------------------------------------------
