「>>1の論法を使うと x^3+y=z^3 が自然数解を持たないことが証明できる」
この意味はわかりますか？

わかりません。