\begin{theorem}\label{indefinite_test_forall}
    Every set is a set.
\end{theorem}

\begin{theorem}\label{indefinite_test_exists}
    Some set is a set.
\end{theorem}
