Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Zhi Wang
ZF Set Theory - start with the Axiom of Extensionality
The universal class
Next ⟩
reuxfr1dd
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 21.51.3.2. The universal class
reuxfr1dd