Can someone check if my proof is correct.Please exscuse the bad notation, I've no idea how to type the symbols.
The question was prove that between any 2 rational number , there is a third rational.
x,y ,z are elements of Q
(for all x ) (for all y) (there exist z)[x>z>y] <->
(for all x ) (for...