假设我有一个枚举环境
\documentclass{article}
\usepackage{amsmath, amssymb, amsthm, enumitem, graphicx, hyperref, latexsym, babel, blindtext, thmtools}
\usepackage{enumitem}
\begin{document}
\begin{enumerate}[label=\textbf{\alph*},align=left,ref=\textbf{\alph*}]
\item $a\in G$
\item $\exists y(\theta(y)\wedge a\in y)$
\item $\exists y(\forall z(z\in y\to z\subset y)\wedge a\in y)$
\item $\forall z(z\in y'\to z\subset y')\wedge a\in y'$
\item $a\in y'$
\item $a\in y'\to a\subset y'$
\item $a\in y'\to a\in G$
\item $a\in y'\to a\subset G$
\item $a\subset G$
\item $a\in G\to a\subset G$
\end{enumerate}
\end{document}
我如何才能获得等宽标签?