(? A) ([(? w) (w ? A) ? (? z)(? u)(u ? A ? u = z)] ? (? x)(?
   y)[(? w)(w ? A ? w = y) ? (x = y)]) "For all A, there exists
   some w in A and there exists a z where for all u in A that
   implies that u is less than or equal to z and all that implies
   there exist an x where for all y and all w in A, the implication
   that w implies w is less than or equal to y is true. All the
   foregoing are equivalent to x is less than or equal to y. "
   [1]logiz2

References

   Visible links
   1. http://icopiedyou.com/wp-content/uploads/2015/12/logiz2.jpg