可能無限
→
実無限と可能無限