is consistent must exist.Let's assume this formal system is the one that defines this multiverse-MUH that contains us.If our universe is a model of this formal system and we consider the statement that the universe exists we arrive at a contradiction.