Definition:Zermelo Construction of Natural Numbers