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