>>44
>反例の構成に失敗した

反例の構成は失敗していません
ペアノの公理は、構成した反例にも適用可ですよ
まあ、細かい話しは、>>45の確認の後でしますよ