Is the underlying mathematics of string theory both complete and consistent?
If it is, then apparently Gödel was wrong; if it is not, then how can it be a theory of everything?
Would not an endless string of metatheories be needed for sufficiency? If not, what did Gödel, Tarski, etc. miss.