>>422
分かっていて言っているような口振りなので余計な節介かも知れないが、
PAの無矛盾性からε_0までの帰納法は導けないことは知られている。
420は知ったかしてるだけ。