The basic result from Turing/Godel is that you don't need any self-referential. As long as it is an enough powerful formal system, it is always incomplete from day one. There will always be some mythical things you cannot compute. There will always be some universes you cannot prove their existence or nonexistence.