2022-03-11 | set theory
Main Act 3 Extension \(\forall x\ \forall y\ \forall z\ (z \in x \leftrightarrow z \in y)\rightarrow x=y\) Foundation \(\forall x[\exists y(y\in x)\rightarrow \exists y(y\in x \wedge