\documentclass[14pt]{article}
\usepackage[utf8]{inputenc}
\begin{document}
\pagestyle{empty}
\[ \forall x \forall y [\forall z ( z \in x \Leftrightarrow  z \in y ) \Rightarrow x = y ] \]
\end{document}