Sorry, critical correction: On Wed, Mar 12, 2008 at 11:21 AM, Jef Allbright <jef at jefallbright.net> wrote: > Within a fully defined context (Peano arithmetic, predicate logic, ==> Within a well-defined context (Peano arithmetic, predicate logic, Apologies to the spirit of Kurt Gödel. - Jef