关于模型、解释与不可定义性的澄清及ZF集合论一致性相关问题的问询

我是集合论领域的纯新手，这已经是我第三次尝试提问了——之前的帖子因为符号表述不准确被我删掉了，真心希望能得到大家的帮助🙏

引自Jech 2006年版著作第163页：根据哥德尔第二不完备性定理，我们无法仅用ZF集合论自身证明ZF的一致性。如果给定某个公理A，想要证明ZF+A是一致的，常用方法是构造模型M，使得M满足所有ZF公理的相对化公式$\phi^M$，同时M也满足公理A。

而在该书的165-166页，Jech证明了对于所有ZF公理$\phi$，都有$V \models \phi^V$……

备注：内容来源于stack exchange，提问作者Link L