哲学系の人が良く言うように、可能無限だけを認めるとその手の厳密性を取り戻せる
んじゃないの？何か問題あるの？