∀x.P(x)が公理の帰結である場合は
単に任意の要素 c に対して P が成り立つように P の解釈を決める
（つまり P = 対象領域とする）だけじゃなかったっけ