  The short answer to these questions is this: countable models “misinterpret” the axioms of set theory just as badly as they misinterpret the formula Ω(x). For the moment, let's stick with the assumption that M is transitive and consider the power set  axiom:[24]