あくまでTh(N)が再帰的に公理化可能でない、という意味での
公理化不可能性について言っているんであって
すぐ上に素直なやり方じゃないというレスがあったこともあって
公理化できないことは或る意味で超越的であるということだから
その点自然じゃないから不満だというレスが想定されるので書いただけ。
論理式で書けないことと公理化可能なことが同じだと誰が言った？

あのさあ、574≠580だし、俺は「Σ5などの複雑な論理式が出てくる」
とは言ってないんだが……
ちょっと上の方でもそうだったんだが
勝手に別人のレスと俺のレスをくっ付けて