 How can this be? One explanation is that \(\mu\) makes \(\phi\) true only at the cost of re-interpreting the term ‘non-denumerable’ so that it no longer means non-denumerable. Thus \(\mu\) is not the intended model \(M^*\) of ZF. It looks as if the metaphysical realist has a clear illustration of Lewis’s distinction at hand in set theory.