公理を加えても存在するとして良い元（集合）は増えない
それは公理系を充たすのがモデルの定義だから
ある公理系を充たすモデルがあるとき
そこからある程度の公理を外してもそのモデルは
公理が少なくなった公理系のモデルのまま