ZFC公理系
ZF公理系
に
選択公理
を含んだもの。