Those theorems are about the completeness of 2nd-order (or higher) formal systems, i.e., that there exist statements that can neither be proved nor disproved within the system. This is a very different type of thing than trying to find equations that characterize the universe. Godel doesn't apply here.If they do, it's quite probable that we'll never know it in its entirety:
https://en.wikipedia.org/wiki/Gödel's_incompleteness_theorems