<math> <apply><forall/> <bvar><ci>z</ci></bvar> <condition><apply><in/><ci>z</ci><rationals/></apply></condition> <apply><exists/> <bvar><ci>p</ci></bvar> <bvar><ci>q</ci></bvar> <apply><and/> <apply><in/><ci>p</ci><integers/></apply> <apply><in/><ci>q</ci><integers/></apply> <apply><eq/> <apply><divide/><ci>p</ci><ci>q</ci></apply> <ci>z</ci> </apply> </apply> </apply> </apply> </math>