可能無限はわかりましたけど可能無限公理については何も教えてもらってませんね