Question

こうよう

「あるc∈Zが存在して、任意のb∈Zに対して、あるa∈Zが存在してab＝c」が真であることを示す際、書き出しでc＝bとしてcをとる。この時任意にb∈Zをとる。
こんな感じで初めて証明に行くのは反則ですかね？やはりcはbに依存しないので他の方法で行くべきでしょうか。

Answer 1

✨ Best Answer ✨

Tak

c=bとしたあと、b∈Zを任意にとる
というのは論理的におかしいですね。

言いたいことは、
b∈Zを任意にとり、c:=bとする
でしょうか？

この場合でしたら、ご認識の通りcはbに依存しないので、他の方法を考えるべきです。

こうよう

やはりそうですよね。分かりました！ありがとうございます！