>>82
>> ペアノの公理を満たすから
>> 順序数ωを使えば正当化できます

「正当化できる」の定義は
ペアノの公理を含むZFC公理系と矛盾せず
現代数学の集合論の体系の中で、きちんと扱えるということ
以上