\documentclass{article}
\title{Cartesian closed categories and the price of eggs}
\author{Jane Doe}
\date{September 1994}
\begin{document}
\begin{itemize}
\item \emph{Equality of sets}: If $X$ and $Y$ are sets, and $x \in X$ iff $x \in Y$, then $X = Y$.
\item \emph{Pair set}: If $X$ and $Y$ are sets, then there is a set $Z$ containing only $X$ and $Y$.
\item \emph{\PMlinkname{Union}{Union} over a set}: If $X$ is a set, then there exists a set that contains every element of each $x \in X$.
\item \emph{\PMlinkescapetext{Axiom of power set}}: If $X$ is a set, then there exists a set $\mathcal{P}(x)$ with the property that $Y \in \mathcal{P}(x)$ iff any element $y \in Y$ is also in $X$.
\item \emph{Replacement axiom}: Let $F(x,y)$ be some formula. If, for all $x$, there is exactly one $y$ such that $F(x,y)$ is true, then for any set $A$ there exists a set $B$ with the property that $b \in B$ iff there exists some $a \in A$ such that $F(a,b)$ is true.
\item \emph{\PMlinkescapetext{Regularity axiom}}: Let $F(x)$ be some formula. If there is some $x$ that makes $F(x)$ true, then there is a set $Y$ such that $F(Y)$ is true, but for no $y \in Y$ is $F(y)$ true.
\item \emph{Existence of an infinite set}: There exists a non-empty set $X$ with the property that, for any $x \in X$, there is some $y \in X$ such that $x \subseteq y$ but $x \neq y$.
\item \emph{\PMlinkescapetext{Separation axiom}}: If $X$ is a set and $P$ is a condition on sets, there exists a set $Y$ whose members are precisely the members of $X$ satisfying $P$.
1. Axiom of extensionality: If X and Y have the same elements, then
X=Y.
2. Axiom of pairing: For any a and b there exists a set {a,b} that
contains exactly a and b.
3. Axiom Schema of Separation: If ß is a property (with parameter
p), then for any X and p there exists a set y = {u
4. Axiom of the power set:
5. Axiom of the empty set:
6. Axiom of infinity:
7. Axiom of subsets (or axiom of comprehension):
8. Axiom of replacement:
9. Axiom of foundation (or axiom of regularity):
10. Axiom of choice:
\end{itemize}
\end{document}