>>567
× 公理を追加する
○ 内包公理を”破棄して”分出公理を置く