Löwenheim–Skolem zombie: Makes statements that are word-for-word identical to the ones that you make about uncountable sets, and for the same causal reasons (namely, because you both implement the inference rules of ZF in the same way), but its statements aren’t about actually uncountable sets, because it lives in a countable model of ZF.
Löwenheim–Skolem zombie: Makes statements that are word-for-word identical to the ones that you make about uncountable sets, and for the same causal reasons (namely, because you both implement the inference rules of ZF in the same way), but its statements aren’t about actually uncountable sets, because it lives in a countable model of ZF.