I just read an article about Goedel's Incompleteness Theorem, and if I have correctly understood it, it basically means all theorems that we have and that can ever be made are either incomplete or inconsistent. This is also sometimes given as a reason to state that a TOE is impossible because it would be incomplete and/or inconsistent. However, my question is: are all theories really incomplete then, will we never know anything for sure or fully? Will an eventual quantum theory of gravity also be considered incomplete. It is quite a disturbing thought actually, and I would just like to know something more about this.