>>674
日本語がおかしい
×　ある任意の自然数
○　任意の自然数


「任意の自然数について成立すること」を主張しているのではない
「任意の自然数について成立すること」を仮定しているだけなのだから、出来る／出来ないを論じること自体がナンセンス