typeswitch on Nostr: So *V isn't the example we want. But we might imagine a nonstandard model that ...

So *V isn't the example we want. But we might imagine a nonstandard model that contains *V, but also allows us to take external subsets of the sets in *V, so that we could look at the standard natural numbers without the nonstandard natural numbers sneaking in.

5/