path: root/test/phase5/exact-source-axiom-assumptions.tex

\begin{axiom}\label{phase5_exact_source_axiom_assumptions}
    Let $A$ be a set.
    Let $x\in A$.
    Suppose $x = x$.
    Then $x\in A$.
\end{axiom}