One way to prove this, is for us to create a simulated world smart enough that can discover itself and make its own simulated versions.