Provability in V¹ presupposes a fixed background meta-theory, yet the choice of meta-theory is not i...