Dear FOM'ers, I underdstand that E. Zermelo first suggested representing Peano's successor function by the set theoretic operation of forming singletons (?). Can anyone on the list verify this; if so, is a citation available? Many Thanks, Peter A. Toronto