Misplaced Pages

${\displaystyle \forall x}$ ${\displaystyle \forall z\forall w_{1}\ldots w_{n}\exists y\forall x(x\in y\Leftrightarrow (x\in z\land \phi ))}$ ${\displaystyle \forall x\forall y\exists z(x\in z\land y\in z)}$ ${\displaystyle \forall {\mathcal {F}}\,\exists A\,\forall Y\,\forall x(x\in Y\land Y\in {\mathcal {F}}\Rightarrow x\in A)}$ ${\displaystyle \forall A\,\forall w_{1},\ldots ,w_{n}.}$ ${\displaystyle \exists X\left(\varnothing \in X\land \forall y(y\in X\Rightarrow S(y)\in X)\right)}$ ${\displaystyle \forall x\exists y\forall z(z\subseteq x\Rightarrow z\in y)}$
${\displaystyle \forall X\exists R(R\;{\mbox{well-orders}}\;X)}$