通常の可能無限派における自然数は、打ち切る必要はありません
おかしいですよね

あなたが自分が可能無限派ではなく有限主義だと認めればいいんですけどね