Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Union
Ordering Ordinal Sequences

Next ⟩ orderseqlem

Metamath Proof Explorer

Ascii
Unicode

Table of Contents - 2.4.11. Ordering Ordinal Sequences

orderseqlem
poseq
soseq