path: root/test/examples/indefinite-terms.tex

\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}