> Godel's theorem. Any system (or universe) can be proven either
> consistent or complete, but not both.
Ack! That is not Godel's theorem. Plus it is false.
> Once you can formalize a universe,
> then you can prove that there's always something outside of it.
Not even false.