>>21
「無限公理」
実無限が無条件では存在しないからこそ可能無限と区別される。