\documentclass{article}
\usepackage{colortbl}
\author{YOUR NAME}
\title{The ZFC axioms of set theory}
\date{}
\begin{document}
\maketitle

\begin{enumerate}

\item {\color{green} Extensionality} If $X$ and $Y$ ...
\begin{equation}
\forall u ...
\end{equation}

\item {\color{green} Unordered Pair} For any $a$ and $b$
\begin{equation}
\forall a \forall b
\end{equation}
...

\item {\color{green} Choice}  Every family of nonempty sets...
\begin{equation}
\forall x \in a \exists A(x,y) \Rightarrow ...
\end{equation}
\end{enumerate}

\end{document}
