Suppose V is a model of ZFC.
VがZFCのモデルであるとする。