Quote Originally Posted by BorisTheSpider View Post
to state Godels theorem in the plainest way, if a mathematical system is internally consistent then it must not be complete (there must be things we can't state or prove within it), and that quite aside from that a system can't be used to prove it's own consistency.
doesn't that mean that a "theory of everything" is impossible?