数学者になりたいけど無理そうだったらAIに携わる仕事に就きたい場合数学科は良い選択ですか？

>∃a,b∈R.a=b

これつまらんよな

例えば、適当な関数fに関して

∃a,b∈R.f(a)=f(b)

とかいう命題ならおもしろいが