What's the correct interpretation this statement?
"There exists a positive number 𝑥 such that for every positive number 𝑦, we have 𝑦²=𝑥."
Is it
∃𝑥,∀𝑦[𝑦²=𝑥]
or is it
∀𝑦,∃𝑥[𝑦²=𝑥]
My (beginner) vote is for the first one ∃𝑥,∀𝑦[𝑦²=𝑥]
#maths #quantifiers