The empty set, the singleton, and the ordered pair, The Bulletin of Symbolic Logic 9 (2003)

by A Kanamori