Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - start with the Axiom of Extensionality
Transitive classes
Next ⟩
wtr
Metamath Proof Explorer
Ascii
Structured
Table of Contents - 2.1.26. Transitive classes
wtr
df-tr
dftr2
dftr5
dftr3
dftr4
treq
trel
trel3
trss
trin
tr0
trv
triun
truni
triin
trint
trintss