>>948
∀x

このような記号は論理式として認められていません
数学ではそのような記号列は定義されていません

どのような意味ですか?それは