Zermelo ordinal

Summary