The limitness of logic

[Guest guest]

I found the following on the web, where Gödel's incompleteness theorem

is described:

 

http://www.miskatonic.org/godel.html

 

" You might be able to prove every conceivable statement about numbers

within a system by going _outside_ the system in order to come up with

new rules and axioms, but by doing so you'll only create a larger

system with its own unprovable statements. The implication is that

_all_ logical system of any complexity are, by definition, incomplete;

each of them contains, at any given time, more true statements than it

can possibly prove according to its own defining set of rules. " --

From " An Incomplete Education " by Jones and Wilson

 

Maybe this theorem directly can be applied to the meaning of the word

'is'. We can never say what anything is with total accuracy using

logic, including the word 'is' itself.

 

/AL