xの値が分からないなら、真偽値以前に命題じゃないだろ。

数学屋がよくやるように、∀が省略されてると考えるなら
∀x (xは実数かつx^2=-1)
で、偽だよな。普通の数学ならxは全ての集合を走るわけだし…

どうやったら真になるんだ？