In this situation, bringing countable models into play was perfectly in order, all the more so as no other models could be supplied without set-theoretical means.
Sa situasyon na ito, nagdadala countable modelo sa play ay ganap na ganap sa kautusan, ang lahat ng mga mas kaya na walang ibang modelo ay maaaring ibinibigay nang walang pag-set-panteorya ibig sabihin nito.