4 ms·

> Likewise the submodel "thinks" many sets within it are countably infinite. I meant uncountably infinite.