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 --------------------------------------------------------------------