• From: Michael Sokolov <sokolov@i...>
• To: liam@w...
• Date: Sun, 18 Dec 2011 08:02:04 -0500

> A human system without holes has yet to be devised. The Completeness
> Theorem suggests that you can't have a system without holes unless it
> has bugs.
>
You're referring to Godel, right? But I think  it's the Incompleteness 
theorem that supports you here.  I didn't know about the less famous 
Completeness theorem, although it appears there is one.

-Mike

• References:
  • Most XML vocabularies are too large and inevitably have lots of"holes"
    • From: "Costello, Roger L." <costello@m...>
  • Re: Most XML vocabularies are too large and inevitablyhave lots of "holes"
    • From: Liam R E Quin <liam@w...>