:: This article documents a part of the Mizar axiomatics - it shows how
:: the primitives of set theory are introduced in the Mizar Mathematical
:: Library.
:: Please note that the notions defined here are not subject to standard
:: verification, so the Mizar verifier and other utilities may report
:: errors when processing this article.
:: the primitives of set theory are introduced in the Mizar Mathematical
:: Library.
:: Please note that the notions defined here are not subject to standard
:: verification, so the Mizar verifier and other utilities may report
:: errors when processing this article.