path: root/test/phase5/exact-quantified-subject-nested.tex

\import{set.tex}

\begin{definition}\label{phase5_contains}
    $A$ contains $B$ iff $B\in A$.
\end{definition}

\begin{proposition}\label{phase5_nested_quantified_subject}
    Then $A$ contains every set.
\end{proposition}